An Intelligent Backtracking Scheme for Prolog.

Vipin Kumar Yow-Jian Lin

Published in: SLP (1987)

Keyphrases

logic programming
expert systems
database
website
search algorithm
multiresolution
knowledge representation
constraint satisfaction
learning scheme
secret sharing scheme
neural network
search engine
hash functions