Experiences in Using Prolog to Develop a Practical Constraint Solver.

Published in: ICTAI (1994)

Keyphrases

constraint solver
constraint logic programming
constraint solving
linear constraints
logic programming
constraint programming
artificial intelligence
neural network
image sequences
reinforcement learning
expert systems
relational databases
programming language
language model