The Mu-Calculus over Finite Domains as an Abstract Semantics of Prolog.
Marc-Michel CorsiniKaninda MusumbuAntoine RauzyPublished in: WSA (1992)
Keyphrases
- logic programming
- logic programming language
- logic programs
- algebraic structure
- application domains
- knowledge representation
- formal language
- semantically equivalent
- knowledge base
- finite number
- high level
- expert systems
- prolog programs
- formal semantics
- constraint logic programming
- real world
- development environment
- programming language
- proof theoretic
- database
- propositional dynamic logic
- database query languages
- process algebra
- relational calculus
- graphical representation