First-Order Functional Languages and Intensional Logic.
Panos RondogiannisWilliam W. WadgePublished in: J. Funct. Program. (1997)
Keyphrases
- higher order
- first order logic
- general logic programs
- linear temporal logic
- expressive power
- logical theories
- horn clauses
- logic programming
- highly expressive
- conditional logic
- classical first order logic
- modal logic
- predicate calculus
- functional language
- formal language
- finite model theory
- databases
- predicate logic
- cross lingual
- sound and complete with respect
- function free horn
- computational properties
- probabilistic logic
- automated reasoning
- functional programming
- text summarization
- context free
- logical framework
- truth values
- multi valued
- theorem prover
- inductive logic programming
- logic programs
- programming language