A sketch of an Eliza-like System

The top level clause for converse/0 is:

We now describe the behaviour of the basic predicates used.

• read_in/1
• write_out/1
• process/2
• swap/2
• pick_up_transform/2
• match/2