The Use of a Logic Programming Language in the Animation of Z Specifications.
Margaret M. WestPublished in: ICLP (2007)
Keyphrases
- logic programming language
- logic programming
- constraint logic programming
- inference rules
- situation calculus
- declarative semantics
- computer graphics
- formal specification
- logic programs
- answer set programming
- user interface
- high level
- knowledge base
- programming language
- state space
- knowledge representation
- motion capture
- constraint solving