BABEL: A Functional and Logic Programming Language based on Constructor Discipline and Narrowing.
Juan José Moreno-NavarroMario Rodríguez-ArtalejoPublished in: ALP (1988)
Keyphrases
- logic programming language
- logic programming
- constraint logic programming
- inference rules
- situation calculus
- information systems
- declarative semantics
- logic programs
- computer science
- first order logic
- databases
- programming language
- training set
- answer set programming
- natural language
- artificial intelligence
- data mining