William F Clocksin

• Clause and Effect
• Programming in PROLOG