Columbia subject headings:
Logic programming--Congresses.
Programming languages (Electronic computers)--Congresses.
Prolog (Computer program language)--Congresses.
Harvard subject headings:
Logic programming--Congresses.
Programming languages (Electronic computers)--Congresses.
Prolog (Computer language)--Congresses.
Princeton subject headings:
Artificial intelligence--Congresses.
Expert systems (Computer science)--Congresses.