Implementation techniques for Prolog.

Published in: WLP (1994)

Keyphrases

functional programming
computer vision
multimedia
efficient implementation
theorem proving
real world
artificial intelligence
image processing
case study
image sequences
optimal solution
expert systems
knowledge representation
hardware implementation