Logtalk

Logtalk es una extensión orientada a objetos de código abierto para el lenguaje de programación Prolog. La integración de la programación lógica con la programación orientada a objetos y eventos, que es compatible con la mayoría de los compiladores de Prolog.
Logtalk soporta ambos prototipos y clases. Además, es compatible con la programación basada en componentes a través de composición basada en categorías

Características :.

• Separación entre la interfaz y la aplicación:
• directivas predicado (declaraciones) pueden estar contenidos dentro de los protocolos (interfaces), que pueden ser implementados por cualquier objeto.


• bbli objetos paramétricos:

Nombres
• de objetos pueden ser términos compuestos que contienen variables libres que pueden ser utilizados para parametrizar los predicados del objeto.


• El apoyo a los sistemas basados ​​en clases y basada en el prototipo:
• Usted puede tener, en la misma aplicación, basada en la clase (con jerarquías de instancias y especialización relaciones) y las jerarquías basadas en prototipos (con relaciones de extensión).


• Soporte para múltiples jerarquías de objetos:
• No hay necesidad de estar limitado a una sola larga jerarquía arraigada en un objeto genérico.


• privado, protegido y patrimonio público:
• Logtalk soporta privado, protegido y patrimonio público de una manera similar a C. Por otra parte, cualquier relación entidad puede calificarse usando una palabra clave ámbito.


• bbli privadas, protegidas y predicados objeto público:
• Establezca el ámbito de su objeto predicados para que coincida con el diseño de su protocolo y dejar que el sistema de ejecución de hacer cumplir sus decisiones.


• Los objetos estáticos y dinámicos:
• Los objetos pueden ser estáticos o dinámicos. Los objetos estáticos se definen en los archivos de origen que se compilan y cargados en la misma forma que los archivos Prolog. Objeto dinámico se puede definir en los archivos de origen o se crea en tiempo de ejecución.


• bbli predicados objeto estático y dinámico:
• Cualquier objeto estático puede contener ambos predicados estáticas y dinámicas.


• Un pre-procesador para que podamos usar la sintaxis estándar de Prolog:
• Logtalk utiliza sintaxis estándar Prolog con la adición de unos pocos operadores y directivas para una curva de aprendizaje suave.


• la programación dirigida por eventos:
• Los predicados se puede llamar de forma implícita cuando se produce un evento espiado, permitiendo soluciones de programación que minimizan acoplamiento objeto. Además, los eventos proporcionan apoyo para la reflexión del comportamiento.


• la programación basada en componentes:
• Los predicados se puede encapsular dentro de las categorías, que pueden ser importados por prácticamente cualquier objeto, sin ninguna duplicación de código y con independencia de las jerarquías de objetos. Así, los objetos pueden ser definidos a través de la composición de las categorías, que actúan como unidades de grano fino código de reutilización.


• El soporte multi-herencia:
• Logtalk soporta multi-herencia de tanto protocolo y aplicación. Un objeto puede ejecutar varios protocolos y ampliar, especializarse, o una instancia de varios objetos. Conflictos de múltiples herencias se resuelven implícitamente por los algoritmos de búsqueda Logtalk o explícitamente el empleo de directivas precedentes.


• Buenos resultados:
• Código Logtalk se compilan utilizando las mismas técnicas que se utilizan para escribir código eficiente Prolog. Además, las búsquedas de método se almacenan en caché por el motor de tiempo de ejecución Logtalk, lo que mejora el rendimiento. Resultados de referencia para algunos compiladores de Prolog están disponibles aquí.


• La estrecha integración con el Prolog estándar ISO:
• Logtalk está diseñado para una integración perfecta con cualquier compilador Prolog que se ajuste o de cerca sigue el Prolog estándar ISO.


• Compatible con la mayoría de los compiladores de Prolog:
• interfaces de Logtalk con un compilador específico Prolog a través de un archivo de configuración mínima por lo que es compatible con casi cualquier compilador moderno.


• Generación automática de archivos de documentación XML:
• Logtalk genera automáticamente un archivo de documentación en formato XML para cada objeto compilado, protocolo o categoría. El sistema incluye todo el XSL necesario (T) y archivos de secuencias de comandos para convertir archivos a documentar (X) HTML y PDF.
• Logtalk se ejecuta en casi cualquier computadora con un compilador de Prolog (el entorno de desarrollo principal es un Apple PowerBook G4 con MacOS X). La interfaz entre Logtalk y un compilador específico Prolog se logra a través de un archivo de configuración.
• Este archivo contiene algunos predicados específicos Logtalk e implementaciones para el estándar ISO Prolog predicados no está disponible en el compilador de Prolog.


• Al escribir Logtalk he tratado de seguir la norma ISO Prolog siempre que sea posible. Capacidades necesarias por Logtalk que no están definidos en la Parte I de la norma ISO son:


• acceso a predicado propiedades (dinámica, estática, built_in):
• A condición de que su Prolog favorito tiene estas capacidades mencionadas anteriormente, haciendo un archivo de configuración es muy fácil. El paquete Logtalk ya incluye los archivos de configuración para los compiladores de Prolog más comunes. Para un rendimiento óptimo, Logtalk requiere que el compilador Prolog soporta primer argumento indexación tanto de código estático y dinámico.


• Desarrollos Logtalk y las pruebas se realiza actualmente con los siguientes compiladores de Prolog (en orden alfabético):
• GNU Prolog 1.2.18
• SWI Prolog 5.4.7
• YAP 4.5.7
• Por eso, estos son probablemente las mejores opciones para el funcionamiento de Logtalk (siempre que usted es libre de usar uno de estos compiladores).


• Además, Logtalk ejecuta con pocas o ninguna modificación con los siguientes compiladores de Prolog (en orden alfabético):
• ALS Prolog 3.1
• Amzi! Prolog 6.22 ~ 7.x
• BinProlog 8.x ~ 10.x
• B-Prolog 4.0, 5.0, 6.x
• CIAO Prolog 1.10p5
• Eclipse 5.5 ~ 5.8
• IF / Prolog 5.x
• JIProlog 3.0.1-2
• K-Prolog 5.1.2a
• LPA MacProlog32 1,25
• LPA WinProlog32 4.0x
• MasterProlog 4.1
• Abrir Prolog 1.1b10
• PrologII 4.5
• QU-Prolog 6.7
• Quinto Prolog 3.3 ~ 3.5
• SICStus Prolog 3.8 ~ 3.12.x
• XSB 2.6 ~ 2.7

¿Cuál es nuevo en esta versión:

• Modificado el envío de mensajes mecanismo para llamar a la & quot; quot antes y; controladores de eventos antes de realizar el procedimiento de búsqueda. Este cambio no debería tener ningún impacto en el código existente pero permite algunas aplicaciones interesantes (por ejemplo, falla en lugar de lanzar una excepción cuando no se entiende un mensaje).
• tratamiento más coherente de opciones del compilador entre los valores de ajuste de la bandera al compilar / cargar un archivo y cuando se utiliza el set_logtalk_flag / 2 predicado incorporado: en ambos casos, el establecimiento de la & quot; smart_compilation & quot; bandera en apagará la & quot; limpia & quot; bandera y el establecimiento de la & quot; limpia & quot; bandera en apagará la & quot; smart_compilation & quot; bandera. Además, el establecimiento de la & quot; de depuración & quot; bandera en apagará tanto la & quot; smart_compilation & quot; y & quot; limpia & quot; banderas.
• Permite la construcción de control suave cortar, (* - & gt;) / 2, cuando de forma nativa con el apoyo del programa de fondo Prolog compilador, para ser utilizados en el cuerpo de reglas gramaticales (después de una observación de Daniel Díaz mientras se discute GNU Prolog apoyo para la construcción de control suave de corte).
• Se ha corregido un error del compilador Logtalk cuando el & quot; source_data & quot; bandera es con back-end Prolog compiladores donde no es posible recuperar la posición de un plazo de lectura.
• Se ha corregido un error en la compilación de la meta_non_terminal directiva / 1, donde sólo el primer meta-argumento sería procesada correctamente.
• Se ha actualizado el fichero de configuración de Eclipse para detectar cuando se ejecuta en Windows 64 bits de los sistemas y hacer caso omiso de las exportaciones no predicados y no de operador cuando pre-procesamiento lib / 1 directivas.
• Actualización del marco de pruebas unitarias para imprimir mensajes más informativos para las pruebas unitarias fallidos.
• predicado Añadido dividió / 4 (para dividir una lista en sublistas con una longitud dada) a la & quot; & quot ;, listp & quot; & quot ;, lista y & quot; difflist & quot; entidades de la biblioteca.
• Se ha actualizado la & quot; cc & quot; ejemplo, con una definición para la cáscara / 2 predicado para CxProlog.
• Se ha cambiado el nombre de los objetos en el & quot; mi & quot; ejemplo, para evitar un conflicto de nombres al ejecutar las pruebas unitarias ejemplo.
• Se ha corregido un error en el instalador de Windows que impedía la detección de YAP 64 bits versiones. Gracias a Stepan Ipatov de informe de fallos.
• Se ha corregido un error en el instalador de Windows que impidió a los usuarios personalizar el directorio de instalación. Gracias a Daniel Moniz para el informe de error y Gavin Lambert para diagnosticar el error.
• Actualizado el script de instalación de Windows para mejorar la detección de XSB y por defecto para instalar sólo los archivos de cada usuario cuando se ejecuta por un usuario que no sea administrador en un equipo donde ya está instalado Logtalk.
• Añadido soporte básico para el LaTeX & quot; listados de & quot; paquete. Notas añadidas en la & quot; & quot; acuñada y & quot; texmates & quot; Paquetes LaTeX.
• notas Añadido en el editor de texto Textastic iPad.
• Añadido coloreado de sintaxis básica y apoyo de plegado de código para el editor de texto UltraEdit.
• Actualizado el TextMate bundle para desactivar las correcciones guión automáticas introducidas en la versión de desarrollo de TextMate 2.0.

¿Qué hay de nuevo en la versión 2.44.0:

• Changed la semántica de complementar categorías para permitir parchear tanto declaraciones precedentes y definiciones subyacentes de objetos complementados. Esto se logra al asegurar que la declaración predicado y definición búsquedas comienzan en las categorías complementarias antes de mirar en el objeto mismo o complementada en sus entidades relacionadas.
• Actualizado el compilador Logtalk para generar una advertencia al compilar una categoría complemento para un objeto complementado que fue compilado con soporte para complementar categorías apagado.
• Se ha corregido un error en el procesamiento de llamadas-meta para los meta-predicados en el contexto de llamada se establecería a & quot; este & quot; en lugar de & quot; remitente & quot; cada vez que un meta-argumento fue uno de los :: / 2, {} / 1,

¿Cuál es nuevo en la versión 2.43.3:

• Se ha cambiado el compilador para tener en cuenta los usos / 2 Directiva al compilar las llamadas a la reflexión métodos incorporados. Este cambio se extiende la semántica de los usos / Directiva 2 y permite la migración fácil desde aplicaciones Prolog lisos a Logtalk.
• Se ha actualizado la aplicación de la / 2 método integrado predicate_property, añadiendo una propiedad alcance / 1.
• Actualizado el compilador Logtalk para añadir información sobre un nombre de archivo de origen, el directorio de archivo de origen, y las opciones del compilador archivo de origen a los archivos generados Prolog. En versiones anteriores, esta información fue registrada sólo si carga un archivo de origen. Los cambios simplifican la creación de aplicaciones donde las bibliotecas Logtalk son pre-compilados y pre-cargado.
• Actualizado el compilador Logtalk para imprimir el nombre del objeto gancho utilizado en la compilación de archivos de origen cuando el & quot; hook & quot; bandera compilador está definido.
• Actualizado el depurador integrado para evitar puntos de elección innecesarios creados por back-end compiladores de Prolog cuyos retraer / 1 aplicación no toma ventaja de la semántica de actualización lógicas para realizar llamadas determinista.
• Se ha corregido un error en el controlador de compilador de ejecución Logtalk donde no descompilar identificadores de entidad interna al lanzar excepciones existencia entidad.
• Se ha actualizado el fichero de configuración de Prolog Lean, añadiendo índice / 1 directivas para algunos de los predicados dinámicos utilizados por las tablas de tiempo de ejecución Logtalk internos.
• Actualización de los archivos de integración SWI-Prolog para comprobar la disponibilidad de la directiva índice / 1, que está en desuso por el nuevo soporte experimental SWI-Prolog para just-in-time múltiples argumento indexación.
• Agregado predicados subsecuencia / 4 (para la generación de subsecuencias de una lista con una longitud dada), sustituya / 4 (para la sustitución de elementos en una lista), y hamming_distance / 3 a la biblioteca & quot; listp & quot; y & quot; lista & quot; entidades.
• euclidean_norm Añadido / 2, chebyshev_norm / 2, manhattan_norm / 2, euclidean_distance / 3, chebyshev_distance / 3, manhattan_distance / 3, y scalar_product / 3 predicados en la biblioteca de & quot; numberlistp & quot; y & quot; numberlist & quot; entidades.
• Se ha corregido algunos errores tontos en la definición de la & quot; carácter & quot; objeto de biblioteca predicados is_bin_digit / 1, is_octal_digit / 1, is_dec_digit / 1, y is_hex_digit / 1.
• Se ha actualizado la biblioteca & quot; all_loader.lgt & quot; archivo del cargador para cargar también el & quot; meta_compiler_loader.lgt & quot; archivo del cargador.

¿Cuál es nuevo en la versión 2.43.1:

• Se ha cambiado el compilador para tener en cuenta los usos / 2 Directiva al compilar las llamadas a los métodos incorporados en la base de datos. Este cambio se extiende la semántica de los usos / Directiva 2 y permite la migración fácil desde aplicaciones Prolog lisos a Logtalk.
• Añadido soporte experimental para el uso de una plantilla predicado como argumento a la coinductive / 1 Directiva. Esta plantilla permite la especificación de que los argumentos son significativos para el éxito coinductive. Sobre la base de una funcionalidad similar se encuentra en el DRA meta-intérprete de Feliks Kluzniak.
• Soporte mejorado para la depuración de los predicados coinductive cuando se utiliza el Logtalk depurador integrado.
• Soporte coinduction Eliminado por CxProlog. La versión actual de este compilador carece de un corte suave incorporado predicado o construcción de control, que ahora se exige la aplicación experimental coinduction.
• Levantado una limitación de larga data que impedía la definición de usuario de predicados contenedoras para el bagof / 3 y setof / 3 en los métodos integrados cada vez que el argumento objetivo puede utilizar el ^ / 2 cuantificador existencial.
• Se ha añadido soporte para el & quot; ^ & quot; modo de meta-argumento especificador meta-predicado sugerido por Jan Wielemaker y se encuentra en SWI-Prolog 11/05/25. Esta especificación modo es útil en la definición de contenedores para las bagof / 3 y setof / 3 métodos incorporados cada vez que el argumento objetivo puede utilizar el ^ / 2 cuantificador existencial.
• Agregado & quot; prolog_compiler & quot; y & quot; prolog_loader & quot; opciones del compilador, que permiten pasar opciones para el back-end del compilador Prolog predicados incorporados que compilan en el disco y cargue un (compilado) bandera Prolog. El valor predeterminado para ambas banderas es la lista vacía.
• Se ha corregido un error al compilar las llamadas a Prolog patentada incorporada predicados meta- donde el compilador Logtalk podría intentar procesar argumentos no meta- como metas. Este error sólo se manifestó con algunos de back-end compiladores de Prolog como Eclipse.
• Se ha corregido un error en el procesamiento de directivas de compilación condicional.
• Se ha corregido un error que impedía pasar alias / 3 directivas en las llamadas a la create_object / 4, create_category / 4, y create_protocol / 3 predicados incorporados.
• Fuera del objeto incorporado & quot; Logtalk & quot; los métodos en desuso decompile_predicate_head / 4 y decompile_predicate_indicator / 4.
• Soporte retirado por el largo desuso Logtalk metapredicate / 1 Directiva.
• Se ha corregido un error rendimiento cuando caché llamadas a categoría predicados donde las entradas en caché podría ser más específica de lo necesario cuando se trabaja con categorías paramétricas.
• almacenamiento en caché de & quot mejorada; súper & quot; las llamadas desde dentro de prototipos. Anteriormente, todas las entradas en caché se especializan por el valor de & quot; auto & quot; con el fin de tratar adecuadamente los casos especiales en que un objeto al mismo tiempo crea una instancia especializada y otros objetos.
• Actualizado el compilador Logtalk para activar cualquier declaración de operador se encuentran en las directivas de ámbito predicado durante la compilación de las entidades que contienen las directivas.
• Se ha mejorado el rendimiento de los predicados coinductive al utilizar servicios de fondo compiladores de Prolog como SICStus Prolog que no proporcionan la construcción de control suave-corte, pero proporcionan la suave de corte incorporado meta-predicado (si / 3).
• Se ha corregido un error por el que un informe falso de las advertencias de compilación / carga podría imprimirse cuando se compiló un archivo de origen / cargado con la bandera compilador & quot; informe & quot; apagado.
• Alta & quot; un streamvars & quot; objeto de biblioteca, derivado del quot existente y; assignvars & quot; categoría de la biblioteca, que ofrece apoyo a la adición y la recuperación de términos (que pueden ser las variables) de un & quot; corriente de & quot; variable.
• Se ha actualizado la & quot; coinduction & quot; ejemplo, aprovechando la mayor coinductive / 1 Directiva y ampliar el número de ejemplos individuales que se pueden ejecutar utilizando SICStus Prolog. Se ha añadido un modelo de control de ejemplo, usando coinduction, coroutining y limitaciones, aportados por Neda Saeedloei.
• Se ha actualizado la & quot; metapredicates & quot; ejemplo con código de ejemplo que ilustra cómo definir contenedores para las / 3 y setof / 3 métodos incorporados bagof cuando el meta-argumento puede contener variables existencialmente calificados.
• Se ha actualizado la & quot; cc & quot; ejemplo, la corrección de las definiciones precedentes durante varios compiladores de back-end de Prolog y añadiendo algunas pruebas unitarias básicas.
• Se ha actualizado la & quot; codificaciones & quot; ejemplo con un apoyo limitado para magra Prolog.
• Añadido entradas que faltan para el meta_non_terminal / 1 Directiva y para la llamada // N no terminal a la & quot; ayudar a & quot; ejemplo.
• Ha añadido un analizador para PDDL 3.0 archivos, aportados por Robert Sasak.
• Código Agregado plegable apoyo al editor de texto SubEthaEdit. Añadido código plegable soporte para bloques de compilación condicional a los editores de texto Kate, Vim, y TextMate.
• Actualización de los scripts de integración con el fin de cargar los caminos biblioteca de archivos antes de cargar el Logtalk compilador / tiempo de ejecución. Este cambio tiene como objetivo simplificar la carga de archivos de bibliotecas y ejemplo de los archivos de configuración. Además, también busque el directorio de instalación Logtalk en $ HOME / acción cuando no se ha definido la variable de entorno LOGTALKHOME. Gracias Para Vator Santos Costa por la sugerencia.
• Se ha actualizado el instalador de Windows con el fin de apoyar magra Prolog y detectar YAP 64 bits versiones.

¿Cuál es nuevo en la versión 2.43.0:.

• Se ha añadido soporte experimental para magra Prolog
• informe de errores cambiado por el compilador Logtalk y tiempo de ejecución. Todos los términos de excepción ahora utilizan, siempre que sea posible, el error (error, Logtalk (Meta, Entidad))
• formato. Se ha cambiado el error interno de cheques a utilizar, siempre que sea práctico, el nuevo '$ lgt_must_be' / 2-3 predicados internos.
• Se ha agregado una & quot; optimizar & quot; bandera, cuyo valor predeterminado es & quot; en & quot ;. Este indicador permite al usuario apagar optimizaciones existentes para, por ejemplo tareas de depuración (el
• optimizaciones implementadas actualmente incluyen la eliminación de las llamadas redundantes true / 0 del cuerpo de las cláusulas precedentes compilados y la eliminación de
• llamadas redundantes a (=) / 2 del cuerpo de cláusulas generadas por la expansión de las reglas de la gramática).
• Se ha añadido una & quot; source_data & quot; bandera, cuyo valor predeterminado es & quot; en & quot ;. Con este indicador ajustado a & quot; & quot ;, en Logtalk mantendrá la información representada utilizando el modo / 2,
• Información / 1-2, utiliza / 2, y use_module / 2 directivas, además de los datos de ubicación de origen (incluyendo nombres de los archivos fuente y los números de línea), útil tanto para depurar
• y para la integración con las herramientas de desarrollo. Esta bandera se puede desactivar con el fin de generar un código más compacto. El / 1 objeto y parameter_names
• propiedad categoría se elimina con el fin de evitar la redundancia.
• Implementado protegida / 1 y privado / 1 propiedades de los objetos, protocolos y categorías. Junto con el público / 1 propiedad, estas propiedades
• permite la lista de predicados declarados en la entidad que se accede por cálculos reflectantes. Implementado declara / 2, define / 2, incluye / 3,
• y proporciona / 3 propiedades para acceder a las propiedades de los predicados declarados y definidos dentro de una entidad. Propiedades de la Declaración incluyen line_count / 1, el número de línea de la Directiva alcance predicado. Propiedades de definición incluyen line_count / 1, el número de línea de la cabeza del primer
• cláusula para el predicado, y number_of_clauses / 1, el número de cláusulas para el predicado. También implementado usos experimentales / 3 y use_module / 3 propiedades.
• Se ha añadido una propiedad predicado, redefined_from / 1, lo que permite realizar consultas sobre el objeto o categoría que contiene una definición predicado que se redefine.
• Ha añadido un predicado loaded_file / 3 a la & quot; Logtalk & quot; objeto incorporado, que complementa el loaded_file / 2 predicado existente y da acceso a la
• opciones explícitas utilizan cuando el archivo fue compilado y cargado.
• Soporte compilador implementado para el meta_non_terminal / 1 Directiva y la llamada // N incorporado no terminal.
• simplificado la compilación de reglas gramaticales retirando el apoyo para hacer frente a los errores de alcance y existencia no terminales en la regla gramatical
• nivel en lugar del nivel predicado. Aunque esta característica podría ser útil al depurar las reglas gramaticales, que complica la integración de Logtalk con herramientas de desarrollo Prolog nativas.
• Actualizado el compilador Logtalk para salvar los lugares cláusula entidad y poner esta información a disposición del back-end de los compiladores de Prolog.
• Actualizado el compilador Logtalk con el fin de evitar la generación de cláusulas catchall internos innecesarios para la declaración predicado y tablas de definición de entidades dinámicas.
• Actualizado el compilador Logtalk a fin de evitar el uso de predicados de varios archivos para romper objeto encapsulado. Una declaración primaria
• entidad debe existir, que contiene tanto un alcance y una directiva en varios archivos para el predicado. Además, la definición de las cláusulas de un multifichero
• Entidad :: Functor / Arity sin multifichero / 1 Directiva correspondiente ahora producirá un error de compilación en lugar de simplemente una advertencia.
• Se ha eliminado la restricción compilador Logtalk que obligó contiguas / 1 y dinámicos / 1 directivas de preceder las llamadas a los predicados declarados.
• Mejora el informe compilador Logtalk de llamadas mal escritos a los no terminales en las reglas gramaticales.
• Permita el uso de la:. / Control de 1 a construir en el cuerpo de reglas gramaticales
• Al depurar mensajes especificados en usos / 2 directivas, el mensaje está impreso calificados de forma implícita como en el código fuente escrito por el usuario.
• Se ha cambiado los predicados internos utilizados en la ejecución de los predicados incorporados multi-threading para facilitar la integración con

Herramientas
• depuración de alto nivel que requieren descompilación del código Prolog generado.
• Se ha corregido un error introducido en Logtalk 2.42.4 en la compilación de los predicados entidad que llaman predicados sincronizados. Este error dio lugar a las llamadas
• se hizo lugar a las formas no sincronizados de los predicados, que se manifestarían en fallos aleatorios de los objetivos de rosca.
• Se ha corregido un error permanente de largo donde un meta-llamada runtime-compilados dentro de una categoría se compila como una llamada a un predicado del objeto
• importar la categoría en cambio, como una llamada a una categoría predicado local.
• Se ha corregido un error de muchos años en que los valores de bandera entidad ajustan localmente utilizando el set_logtalk_flag / 2 Directiva dejaría de ser salvo en la entidad
• código compilado.
• Se ha corregido un error de muchos años cuando abolir un predicado dinámico en un objeto no prototipo en el que el / 1 método abolir tendría éxito sin
• el predicado está realmente abolida.
• Se ha corregido un error en el establecimiento del contexto de ejecución correcta cuando se llama a un meta-argumento de que requiere una compilación en tiempo de ejecución en el contexto de
• & quot; remitente & quot;.
• Se ha corregido un error en la compilación de las llamadas explícitas calificados para módulo meta-predicados donde el módulo de calificación se bajó de la etiqueta
• llamada compilado. Tenga en cuenta que estas llamadas utilizarán semántica Logtalk meta-predicado (es decir, serán llamados meta-argumentos en el contexto de la etiqueta
• llamante) en lugar de los módulos Prolog semántica usual meta-predicado.
• Se ha corregido un error por el que las pilas coinduction no se inicializan cuando se utiliza la etiqueta

¿Qué hay de nuevo en la versión 2.42.4:

• Esta versión incluye el compilador, el tiempo de ejecución, y multi- enhebrar optimizaciones de rendimiento, mejora los mensajes de error del compilador para los sincronizada / 1 y dinámicos / 1 directivas, añade soporte para preservar la información alcance del operador y la salida de esta información para el XML generado automáticamente documentar archivos, agrega nuevos predicados de servicios públicos al objeto Logtalk, mejora varios programación ejemplos, incluye una solución para un desinstalador bug SWI-Prolog en Windows, y cuenta con actualizaciones de portabilidad para Qu-Prolog, SICStus Prolog, SWI-Prolog, XSB y YAP.

¿Cuál es nuevo en la versión 2.42.3:

• Esta versión añade soporte para llamar predicados dinámicos en el contexto de & quot; este & quot; desde dentro de las categorías, añade soporte para los jefes cláusula pre-compilados, incluye correcciones de errores y mejoras en el depurador integrado, incluye la mejora de las bibliotecas y los ejemplos, añade soporte para indexicales cuando se utiliza el (FD) biblioteca SICStus Prolog CLP, añade un ejemplo experimental de utilizando variables atribuidas dentro de objetos y categorías, y cuenta con actualizaciones de portabilidad para Eclipse, GNU Prolog, SICStus Prolog, y SWI-Prolog.

¿Cuál es nuevo en la versión 2.42.2:

• Esta versión mejora la compilación de las llamadas al módulo de predicados , mejora la comprobación de los meta-argumentos en llamadas meta-predicado, mejora el soporte para expresiones lambda, incluye un compilador de optimización para las llamadas a la biblioteca meta-predicados, añade nuevas bibliotecas para eventos de registro, el trabajo con las relaciones de intervalos temporales, y el uso de contadores enteros, mejora ejemplos y bibliotecas existentes, añade soporte para el uso del paquete SyntaxHighlighter basado en JavaScript, y cuenta con actualizaciones de portabilidad para GNU Prolog, Qu-Prolog, SICStus Prolog, SWI-Prolog, y XSB.

¿Cuál es nuevo en la versión 2.42.1:

• Esta versión añade soporte para el nuevo modo de meta-predicado indicadores, lo que permite la compatibilidad con más propiedad Prolog incorporado meta-predicados.
• Soporte se añadió para la detección y denuncia de la desaparición dinámicos / 1/1 y no contiguas directivas.
• Se añadió una nueva bandera de pelusa.
• Dos meta-predicado errores de compilación se corrigieron.
• Algunos de los ejemplos que se han actualizado.
• Actualizaciones de portabilidad se hicieron para B-Prolog, SICStus Prolog, SWI-Prolog, XSB y YAP.