A Lambda Prolog Based Animation of Twelf Specifications.
Mary SouthernGopalan NadathurPublished in: CoRR (2014)
Keyphrases
- logic programming
- programming language
- expert systems
- delay insensitive
- computer graphics
- formal specification
- abstract machine
- prolog programs
- specification language
- lambda calculus
- knowledge representation
- fixed point
- motion capture
- logic programs
- high level
- theorem proving
- computer animation
- special effects
- data mining
- general purpose
- user interface
- website