Una descripción del lenguaje Prolog que se puede buscar en línea

¿Hay una descripción del lenguaje Prolog (sintaxis y semántica) disponible en línea?Una descripción del lenguaje Prolog que se puede buscar en línea

Hay muchos manuales de referencia para implementaciones. Pero ninguna de esas es una descripción del lenguaje. Por ejemplo, el manual de Prólogo de SWI states

Este manual no describe la sintaxis y la semántica completas de Prolog.

Y refers a un conjunto de libros impresos en papel, publicados en los años ochenta. Y al estándar ISO que es por dinero y "debería estar disponible en el galimatías representante de ISO de mi país".

Fuente

2012-06-06 horsh

Puede consultar el manual de GNU Prolog, puede haber algunas diferencias de implementación, pero GNU Prolog también cumple con el estándar ISO: http://www.gprolog.org/manual/gprolog.html –

Este es solo otro manual de implementación. Especifica la notación para enteros octales? ¿Habla de detalles tan agradables como qué es un espacio en blanco y dónde los espacios en blanco son obligatorios? ¿Qué hace el backslash al final de la línea? etc. – horsh

La sintaxis de Googlng Prolog dio vuelta esto: http://www.sics.se/sicstus/docs/3.7.1/html/sicstus_45.html –

La norma ISO está disponible a un precio muy bajo (actualmente USD 30 60) from the ANSI webstore como documento INCITS. Allí también obtienes los dos correctores gratis. Ver iso-prolog tag info para todos los documentos actuales. Aquí hay una completa overview of all built-in predicates que incluye Cor.1 y Cor.2.

Si desea una versión impresa, lo mejor es imprimir arriba El documento INCITS usted mismo es consciente de que falta la página 10 (una página se ha dejado en blanco intencionalmente) —; de lo contrario, las páginas impares están en el lado izquierdo. El documento es un escaneo A4 con dos columnas por página. El Anexo A informal funciona mejor en una vinculación separada. ¡En cambio, agrega las dos correcciones!

Como alternativa, SAI vende copias impresas.

Fuente

2012-06-06 12:37:06 false

USD 30 es definitivamente mejor que CHF 238. – horsh

@WouterBeek: Esta respuesta será de su interés. Alternativamente, obtiene todos los documentos de su organismo nacional miembro. [Aquí está Cor.2] (http: //www.nen.nl/NEN-Shop-2/Standard/NENISOIEC-1321111995C22012-en.htm). – false

¡OMG! Gracias. – horsh

-1

Es posible que desee utilizar la siguiente pre-impresión de un
apéndice de un libro que no es la norma ISO núcleo:

ISO Prolog: Un resumen del Anteproyecto de Norma.
Michael A. Covington, 1993
http://www.uv.es/fbarber/prolog/isoprolog94_ps.Z
http://www.dropbox.com/s/kr1pbrfc1kqzdpq/isoprolog94_ps.Z

Es mucho más corto que el estándar ISO completo, pero
de manera informal es anterior y cubre casi el mismo.

Fuente

2012-06-07 00:03:58

Este documento es solo de valor histórico para alguien interesado en leer una perspectiva personal de estandarización antes de la IS final. Contiene muchas diferencias con el estándar real (por ejemplo, 'fail_if',' syntax_error') y no se puede ver como un resumen de [tag: iso-prolog]. El código ** real ** está disponible por USD 30 de ANSI, vea [iso-prolog] (http://stackoverflow.com/tags/iso-prolog/info) – false

Una descripción del lenguaje Prolog que se puede buscar en línea

Respuesta

Cuestiones relacionadas