David S. Warren

• Syntactica
• Logic Programming
• Practical Aspects of Declarative Languages
• Prolog