Delimited continuations for prolog.
Tom SchrijversBart DemoenBenoit DesouterJan WielemakerPublished in: Theory Pract. Log. Program. (2013)
Keyphrases
- prolog programs
- expert systems
- logic programming
- knowledge base
- programming language
- knowledge representation
- logic programming language
- inference engine
- constraint logic programming
- abstract machine
- backward chaining
- artificial intelligence
- explanation based generalization
- end users
- computational complexity
- horn clauses
- support vector
- information retrieval
- databases
- functional programming
- data sets