Constructing logic programs / Ed. by Jean-marie jacquet - xvi, 308 páginas - Wiley professional computing . ISBN: 0471937894 Subjects--Topical Terms: Programación lógica LC Class. No.: QA76.63 / C65