Title: Logika i semanticheskoe programmirovanie
Subjects: Logic programming