"Logic Programming in Action, 2 school, LPSS '92" - читать интересную книгу автора (Gerard Comyn, Norbert E. Fuchs, Michael J. Ratcliffe)