Kernel-LEAF: A Logic plus Functional Language.
Elio GiovannettiGiorgio LeviCorrado MoisoCatuscia PalamidessiPublished in: J. Comput. Syst. Sci. (1991)
Keyphrases
- functional language
- functional programming
- programming language
- proof planning
- logic programming
- proof search
- classical logic
- feature space
- object identity
- concept formation
- artificial intelligence
- logical framework
- object oriented programming
- predicate logic
- proof procedure
- theorem proving
- inference rules
- complex objects
- logic programs