Why It's Nice to be Quoted: Quasiquoting for Prolog.

Jan Wielemaker Michael Hendricks

Published in: CoRR (2013)

Keyphrases

expert systems
logic programming
programming language
knowledge base
abstract machine
prolog programs
knowledge representation
inference engine
real world
constraint logic programming
logic programming language
functional programming
real time
preprocessing
theorem proving