From Interpreter to Logic Engine by Defunctionalization.
Dariusz BiernackiOlivier DanvyPublished in: LOPSTR (2003)
Keyphrases
- programming language
- logic programming
- modal logic
- multi valued
- sound and complete axiomatization
- neural network
- general purpose
- predicate logic
- probabilistic logic
- rule engine
- proof theory
- asynchronous circuits
- deontic logic
- digital circuits
- defeasible logic
- computational properties
- data sets
- production system
- expert systems
- databases