Prolog Interpretation of A Functional-Logic Language.
Silvia TakahashiFrank S. K. SilbermannPublished in: ILPS (1993)
Keyphrases
- logic programming
- logic programming language
- programming language
- abstract machine
- constraint logic programming
- functional language
- functional programming
- intuitionistic logic
- logic programs
- classical logic
- lambda calculus
- formal language
- database language
- language learning
- programs written
- dynamic logic
- linear temporal logic
- conditional logic
- nonmonotonic reasoning
- formal theory
- proof theory
- modal operators
- knowledge base
- propositional dynamic logic
- specification language
- image interpretation
- answer set programming
- expert systems
- semantically equivalent
- order sorted
- declarative programming
- artificial intelligence
- natural language
- multi agent systems
- data model
- object oriented
- modal logic
- predicate logic
- agent programming
- inference engine
- constraint language
- horn clauses
- semantic interpretation