Write Program Finder
Take Two Inputs and an Output
Find the matching items in them
Record their properties
Write the code
Match the named items against
The two inputs and output
The predicate is finished
C
Program Finder writes List Prolog code
The variables in the code are changed
To Arguments, Type Statements
And Predicate Names
S
Program Finder helps test your thoughts
It revises your programs
It verifies auto-business code
It corrects this code
C
Program Finder writes List Prolog code
The variables in the code are changed
To Arguments, Type Statements
And Predicate Names
Comments