ELPI: Fast, Embeddable, \lambda Prolog Interpreter.
Cvetan DunchevFerruccio GuidiClaudio Sacerdoti CoenEnrico TassiPublished in: LPAR (2015)
Keyphrases
- programming language
- lambda calculus
- logic programming
- expert systems
- prolog programs
- production system
- knowledge representation
- abstract machine
- software engineering
- high level
- evolutionary algorithm
- logic programs
- knowledge base
- inference engine
- real world
- general purpose
- genetic algorithm
- fixed point
- backward chaining
- functional programming
- semantically equivalent
- neural network
- real time