Title: Constraint satisfaction in logic programming
First published: 1989
Subjects: Logic programming, Constraint programming (Computer science), Programacao De Computadores, Programmation logique, Logisch programmeren, Logische Programmierung, Computer programming
LC classification: QA76.6 .V347 1989