Title: Logicheskie metody v programmirovanii
Subjects: Logic programming, Computer programming