QD-Janus: a Sequential Implementation of Janus in Prolog.

Saumya K. Debray

Published in: Softw. Pract. Exp. (1993)

Keyphrases

logic programming
database
knowledge base
expert systems
medical images
efficient implementation
implementation issues
computer vision
general purpose
backward chaining
parallel version