Prolog
------

<!--
SPDX-FileCopyrightText: Chris Pressey, the original author of this work, has dedicated it to the public domain.

SPDX-License-Identifier: CC0-1.0
-->

[(Up)](../../README.md#topics) | _See also: [Logic Programming](../Logic%20Programming/README.md#logic-programming), [Programming Languages](../Programming%20Languages/README.md#programming-languages)_

- - - -


### Web resources

[SWI-Prolog \-- Manual](https://www.swi-prolog.org/pldoc/man?section=preddesc) ★

[Prolog Tutorial \-- 2.5 (wayback)](https://web.archive.org/web/20120203025542/http://www.csupomona.edu/~jrfisher/www/prolog_tutorial/2_5.html) ★

[Prolog Guide - Data Structures](http://kti.ms.mff.cuni.cz/~bartak/prolog/data_struct.html) ★

[Parsing in Prolog](https://www2.cs.sfu.ca/~cameron/Teaching/383/DCG.html) ★

[A Couple of Meta-interpreters in Prolog](https://www.metalevel.at/acomip/) ★

[What does \\+ mean in Prolog? - Stack Overflow](https://stackoverflow.com/questions/1712034/what-does-mean-in-prolog) ★

[search - Prolog: Element not present in list - Stack Overflow](https://stackoverflow.com/questions/5872790/prolog-element-not-present-in-list) ★

[Index of /nofib/real/prolog/](http://darcs.haskell.org/nofib/real/prolog/) ★


### Papers

_(in [Formal Language](../Formal%20Language/README.md#formal-language))_ [Lecture 7: Definite Clause Grammars](https://www.scss.tcd.ie/Tim.Fernando/LPN/PDFs/7.pdf) ★

_(in [Formal Language](../Formal%20Language/README.md#formal-language))_ [Definite Clause Grammars for Language Analysis](https://cgi.di.uoa.gr/~takis/pereira-warren.pdf) ★

_(in [Formal Specification](../Formal%20Specification/README.md#formal-specification))_ [Automatic program generation from specifications using PROLOG](https://archive.org/details/nasa_techdoc_19880014812) ★


### Books

Programming in PROLOG (borrow @ [archive.org](https://archive.org/details/programminginpro00cloc)) 🏛️

The Art of Prolog (borrow @ [archive.org](https://archive.org/details/artofprologadvan0000ster)) ★★★ [💭](commentary/Chris%20Pressey.md#the-art-of-prolog)

_(in [Artificial Intelligence](../Artificial%20Intelligence/README.md#artificial-intelligence))_ Prolog programming for artificial intelligence, 3rd ed. (borrow @ [archive.org](https://archive.org/details/prologprogrammin0000brat_l1m9)) ★ [💭](commentary/Chris%20Pressey.md#prolog-programming-for-artificial-intelligence-3rd-ed)

_(in [Formal Language](../Formal%20Language/README.md#formal-language))_ Natural Language Processing Techniques in Prolog (online @ [cs.union.edu](https://cs.union.edu/~striegnk/courses/nlp-with-prolog/html/index.html)) ★ [💭](commentary/Chris%20Pressey.md#natural-language-processing-techniques-in-prolog)

_(in [Logic](../Logic/README.md#logic))_ Simply Logical (online @ [book.simply-logical.space](https://book.simply-logical.space/src/simply-logical.html), [github.com](https://github.com/simply-logical/simply-logical/releases/download/v1.0/SL.pdf)) ★ [💭](commentary/Chris%20Pressey.md#simply-logical)