Prolog Notes and Resources

Prolog is the classical logic programming language based on Horn clauses and resolution theorem proving.

• The Logic Programming Concept
• Logic and Control in Prolog
• Wikibooks:Prolog
• Learn Prolog Now!