Logic with prolog - Gibbins Peter (Oxford Clarendon Press, 1988)
Bibliography P 312-14; Glossary P 293-96
Keywords: Computer Science