Symbolic constraint-based reasoning in Pandora
Reem Bahgat · 1990
Introduces an intelligent programming technique to adopt constraint-based reasoning in Pandora: a non-deterministic parallel logic programming language. The technique is illustrated in solving resource allocation problems, such as automatically generating naval flying programmes. >