Lee Naish

1960

• Logic Programming
• Negation and control in PROLOG