Parlamento, Franco Logic and logic programming - UDINE CISM 1991 - 100p. "Unesco project on applied Mathematics, and Informatics in developing countries - 7A, May 6 - June 14, 1991" Dewey Class. No.: 518.5015113 / P252.LL