Apt, Krzysztof R. From logic programming to Prolog - London : Prentice Hall, 1997 - 328 Subjects--Topical Terms: LOGIC PROGRAMMINGPROLOG (COMPUTER PROGRAM LANGUAGE) LC Class. No.: QA76.63 / A67F