"Extensions of Logic Programming: 4th International Workshop, ELP '93, St Andrews, U.K., March 29 - April 1, 1993. Proceedings " - читать интересную книгу автора (Roy Dyckhoff)