Program Finder Practicum

Intro
dmffd’dmffr
dmddddmddr
Write Program Finder
dlssd’dlssr
Take Two Inputs and an Output
dltd’d’dltrr
Find the matching items in them
Record their properties
Instr 1
dltd’d’dltd’d’
dddddd’d’d’d’d’
Write the code
Match the named items against
The two inputs and output
The predicate is finished
C
Program Finder writes List Prolog code
dltd’d’dltlr
The variables in the code are changed
dltd’d’dltdd
To Arguments, Type Statements
And Predicate Names
Instr 2
dltd’d’dltdm
dltd’d’dltdr
S
Program Finder helps test your thoughts
dlddddlddm
It revises your programs
dlddrdldmr
It verifies auto-business code
It corrects this code
C
O
dlddddlddr
dlddddlddm