Keyphrases
- logic programming
- knowledge representation
- prolog programs
- expert systems
- frame rate
- programming language
- ieee trans
- knowledge base
- reference frame
- theorem proving
- moving objects
- software engineering
- artificial neural networks
- multiscale
- inference engine
- multi frame
- consecutive frames
- successive frames
- constraint logic programming
- database systems
- backward chaining
- data sets
- abstract machine