Programming Languages/Logical Languages

From Wikibooks, open books for an open world
< Programming Languages
Jump to: navigation, search

Logical Languages[edit]

Clipboard

To do:
Talk about Prolog and Icon

Logic programming languages such as Prolog state and query relations. The specifics of how these queries are answered is up to the implementation and its theorem prover, but typically take the form of some sort of unification.