Resultados de la búsqueda a petición "iso-prolog"

3 la respuesta

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...

4 la respuesta

Reorganizando nombres variables

1 la respuesta

¿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 ...

2 la respuesta

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:

2 la respuesta

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 ...

2 la respuesta

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...

2 la respuesta

¿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.

1 la respuesta

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 ...

2 la respuesta

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

Tengo este pedazo de código:

1 la respuesta

Expansión DCG: ¿Se ignora la firmeza?

Supongamos que tengo la siguiente regla DCG: