Logic programming: systematic program development by Deville, Yves fromInternational series in logic programming 0 Type: Book
