Logic-Programming

Representaciones gráficas y Mundos Virtuales infinitos en las Prácticas de Programación Lógica y Funcional

Specification of Logic Programming Languages from Reusable Semantic Building Blocks

Programación Práctica en Prolog

ody>