Luís Moniz Pereira Logic Control with Logic. 177-193 1984 Implementations of Prolog db/books/collections/Campbell84.html#Pereira84