Prototyping a functional language using higher-order logic programming: a functional pearl on learning the ways of λProlog/Makam.
Antonis StampoulisAdam ChlipalaPublished in: Proc. ACM Program. Lang. (2018)
Keyphrases
- logic programming
- higher order
- logic programs
- functional language
- programming language
- explanation based generalization
- logic programming language
- answer set programming
- knowledge representation
- deductive databases
- functional programming
- knowledge base
- stable models
- nonmonotonic reasoning
- classical logic
- reasoning tasks
- software engineering
- answer sets
- default logic
- constraint logic programming
- object oriented
- database systems