prolog - Expresando el tiempo de configuración con acumulativos - edu.lat

Procesamiento de restricciones Prolog: cuadrados de embalaje

prolog - sencillos - Obtener un orden en la resolución de predicados

unificacion - Pasar enteros de tamaño arbitrario de Prolog a C