Prolog - sintaxis de contras inusual para listas

Me he topado con una parte poco familiar de la sintaxis de Prolog en el artículo de Lee Naish.Programación lógica de orden superior en Prolog. Aquí está el p...

Una descripción del lenguaje Prolog de búsqueda en línea [cerrado]

¿Hay una descripción del lenguaje Prolog (sintaxis y semántica) disponible en línea?Hay una gran cantidad de manuales de referencia para implementaciones. Pe...

Expansión DCG: ¿Se ignora la firmeza?

Supongamos que tengo la siguiente regla DCG:

Prólogo: las cláusulas no están juntas en el archivo fuente

Tengo este pedazo de código:

Significado de los indicadores de modo de instanciación en los argumentos de los predicados Prolog

En cuanto a la documentación de Prolog, las firmas de predicados a veces se escriben de la siguiente manera:

Reorganizando nombres variables

¿Qué significados de "tipo" se usan en el estándar?

En la primera parte del estándar ISO para Prolog, ISO / IEC 13211-1: 1995, la noción de "tipo" se utiliza para referirse a diferentes cosas. Esto a menudo conduce a la confusión. Por ejemplo, una página llamada IsoErrata ...

Pruebas de tipo más seguras en Prolog

ISO-Prolog (ISO / IEC 13211-1: 1995 incluyendo Cor.1: 2007, Cor.2: 2012) ofrece el seguimiento [http://www.complang.tuwien.ac.at/ulrich/iso-prolog/prologue#status_quo] predicados incorporados para probar el tipo de término: 8.3 Prueba de tipo1 ...

Ocurrencia de variables en una lista de variables

Considere un predicado (metalógico)var_in_vars(Var, Vars) que toma una variableVar y una lista de variablesVars y tiene éxito siVar ocurre enVars. Por lo tanto, no necesitamos asegurarnos de queVar es una variable, ni esoVars es una lista de ...

Complejidad de predicados ISO Prolog

¿Hay alguna garantía para los límites superiores en la complejidad temporal de los predicados Prolog estándar? Por ejemplo: ¿es cierto quesort(+List, ?SortedList) se ejecuta en tiempo O (nlog (n)) (n es la duración deList) en cualquier sistema ...