411 REFERENCE · Wikibooks
Programming Languages/Logical Languages
Reference material by Wikibooks contributors. This retains its source identity and is not 411 news reporting.
Logical Languages
Talk about Prolog and Icon
Logical programming
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.