Keyphrases
- transition systems
- provably correct
- formal language
- process algebra
- logic programming
- expert systems
- formal specification
- knowledge representation
- model checking
- prolog programs
- formal methods
- constraint logic programming
- theorem proving
- knowledge base
- programming language
- database
- specification language
- formal verification
- query language
- automated deduction
- relational databases
- concurrent systems
- artificial intelligence