The Relation between Logic and Functional Languages: A Survey.
Marco BelliaGiorgio LeviPublished in: J. Log. Program. (1986)
Keyphrases
- formal language
- functional language
- modal logic
- expressive power
- highly expressive
- logic programming
- cross lingual
- language independent
- multi lingual
- classical logic
- predicate logic
- defeasible logic
- digital circuits
- computational properties
- database
- binary relations
- constraint language
- text summarization
- logic programs