SWI-Prolog.

Jan Wielemaker Tom Schrijvers Markus Triska Torbjörn Lager

Published in: Theory Pract. Log. Program. (2012)

Keyphrases

logic programming
expert systems
prolog programs
knowledge representation
programming language
logic programming language
abstract machine
inference engine
constraint logic programming
databases
theorem proving
programming paradigms
database
search engine
high level
logic programs