An Optimized Implementation of a Dynamic Modular Logic Language.
Anna CiampoliniEvelina LammaPaola MelloPublished in: Softw. Concepts Tools (1996)
Keyphrases
- modular architecture
- highly modular
- operational semantics
- specification language
- formal language
- programming language
- language learning
- model theoretic
- conditional logic
- natural language
- dynamic logic
- proof theory
- derivation rules
- automated reasoning
- mathematical theory
- logic programming language
- database language
- layered architecture
- logic programming
- highly expressive
- lambda calculus