Title: I︠A︡zyki spet︠s︡ifikat︠s︡iĭ i logicheskoe programmirovanie
Subjects: Logic programming