Resultados de la búsqueda a petición "iso-prolog"
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 ...
¿Cuál es la diferencia entre 'y "en Prolog?
Soy nuevo en Prolog y noté que "y" dan un comportamiento diferente, pero tengo curiosidad por saber por qué. Específicamente, al cargar un archivo,?- ['test1.pl']. funciona, mientras que?- ["test1.pl"]. no.
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...
¿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 ...
Expansión DCG: ¿Se ignora la firmeza?
Supongamos que tengo la siguiente regla DCG:
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:
Prólogo: las cláusulas no están juntas en el archivo fuente
Tengo este pedazo de código:
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...
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 ...
Página 1 de 2