Title: Processing declarative knowledge
Subjects: Artificial intelligence, Congresses, Expert systems (Computer science), Logic programming, Programming languages (Electronic computers), Prolog (Computer program language), Prolog (Computer language)