Implementing Constrant Solvers in B-Prolog.

Published in: Intelligent Information Processing (2002)

Keyphrases

expert systems
programming language
prolog programs
logic programming
knowledge representation
logic programming language
information systems
constraint logic programming
sat solvers
databases
high level
knowledge base
evolutionary algorithm
computer vision
backward chaining
database
abstract machine