Title :
Symbolic constraint-based reasoning in Pandora
Author_Institution :
Dept. of Comput., Imperial Coll. of Sci., Tech. & Med., London Univ., UK
Abstract :
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
Keywords :
high level languages; logic programming; parallel programming; Pandora; constraint-based reasoning; intelligent programming technique; parallel logic programming language; resource allocation;
Conference_Titel :
Symbols Versus Neurons, IEE Colloquium on
Conference_Location :
London
