Title: Logicheskie metody v programmirovanii
Subjects: Logic programming (Computer science), Logic programming