Prolog
Links of Relevance
ISO/IEC JTC1/SC22/WG17: the international standardization working group for Prolog (drafts of the standard available)
ISO standard Prolog semi-formally presented, plus other related documents
- Tutorials:
- A tutorial on logic programming and Prolog
- Prolog programming
- Prolog :- tutorial
- Prolog for software engineering
- A Prolog Introduction for Hackers: a short introduction
- Books freely available on-line:
- Learn Prolog Now!: an introductory course
- Adventure in Prolog
- Building expert systems in Prolog
- Prolog programming in depth
- Prolog programming a first course
- An introduction to logic programming through Prolog
- The first 10 Prolog programming contests
- Warren's abstract machine: a tutorial reconstruction (describes a classic virtual machine for Prolog)
- Implementations:
- SWI-Prolog
- Ciao Prolog
- GNU Prolog (or here)
- B-Prolog
- Strawberry Prolog
- Logtalk: an object-oriented extention to Prolog
- jsProlog: an interpreter in JavaScript
The birth of Prolog (historical)
Links to resources
- ALP: Association for Logic Programming
- An on-line newsletter of ALP
boykobbatgmaildotcom