ZERO: Frame + Prolog.

Published in: LP (1985)

Keyphrases

video frames
knowledge representation
knowledge base
frame rate
logic programming
inference engine
abstract machine
expert systems
video sequences
theorem proving
computational complexity
general purpose
search algorithm
feature selection
reference frame
single frame
constraint logic programming
coordinate frame