Anna-Lena Johansson

• Prolog versus you
• Prolog Versus You
• Logic program synthesis using schema instantiation in an interactive environment