DocumentCode
280337
Title
Symbolic constraint-based reasoning in Pandora
Author
Bahgat, Reem
Author_Institution
Dept. of Comput., Imperial Coll. of Sci., Tech. & Med., London Univ., UK
fYear
1990
fDate
33147
Firstpage
42614
Lastpage
42618
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;
fLanguage
English
Publisher
iet
Conference_Titel
Symbols Versus Neurons, IEE Colloquium on
Conference_Location
London
Type
conf
Filename
190571
Link To Document