Procedimiento de mapa Prolog que aplica el predicado a los elementos de la lista

prolog - Definición de cierre transitivo reflexivo

prolog - La restricción más general de orden superior que describe una secuencia de enteros ordenado

graph - Definición de un camino/sendero/caminata

Prólogo: ¿Filtrar una lista? - edu.lat

prolog - Recopile todas las soluciones "mínimas" de un predicado

portable - Términos de Hilog en(XSB) Prolog

module - Expansión del módulo de objetivos pasados ​​a los meta-predicados de la biblioteca - edu.la

prolog - Depender del orden de las reglas