Extending Constructive Negation for Partial Functions in Lazy Functional-logic Languages.
Juan José Moreno-NavarroPublished in: ELP (1996)
Keyphrases
- functional language
- logic programming
- functional programming
- predicate logic
- programming language
- multi valued
- functional properties
- logic programs
- truth values
- modal logic
- closed world assumptions
- language independent
- expressive power
- formal language
- automated reasoning
- classical logic
- deductive databases
- grammatical inference
- fixpoint
- lazy learning
- object identity
- proof theory
- highly expressive
- gene function
- derivation rules
- first order logic