A New Perspective on Integrating Functional and Logic Languages.
John DarlingtonYike GuoHelen PullPublished in: FGCS (1992)
Keyphrases
- functional language
- logic programming
- highly expressive
- formal language
- expressive power
- modal logic
- multi valued
- predicate logic
- automated reasoning
- classical logic
- grammatical inference
- object oriented languages
- machine learning
- cross lingual
- databases
- computational properties
- natural language
- language identification
- artificial intelligence
- constraint language
- neural network