On Extended Logic Languages supporting Program Structuring.
R. ArruabarrenaMarisa NavarroPublished in: APPIA-GULP-PRODE (1996)
Keyphrases
- programs written
- computer programs
- expressive power
- monadic second order logic
- logic programming
- modal logic
- language independent
- decision support
- functional programs
- formal language
- declarative semantics
- multi lingual
- databases
- automated reasoning
- derivation rules
- proof theory
- classical logic
- asynchronous circuits
- predicate logic
- text summarization
- expert systems
- neural network