Logtalk

Prolog es un lenguaje de programación lógica de propósito general que se publicó en 1972, con muy pocos cambios desde entonces.

Logtalk fue creado para añadir características más modernas a Prolog, principalmente mejoras en el rendimiento, las expresiones lambda, reglas gramaticales, la mejora de los errores de compilación y notificación de advertencia.

En la parte superior de éstos, agregue un proceso de instalación más fácil y actualizaciones de compatibilidad compilador de Prolog.

Esto hace Logtalk una alternativa mejor, más acorde a Prolog, en la actual AI y lingüística informática escenarios, una mucho más potente lenguaje multi-paradigma, adecuado para multi-threading de programación orientado a eventos y de alto nivel.

Actualmente sintaxis Logtalk extiende la sintaxis estándar de Prolog y se puede ejecutar Logtalk en estos compiladores de Prolog:

B-Prolog

CxProlog

Eclipse

GNU Prolog

magra Prolog

Qu-Prolog

SICStus Prolog

SWI Prolog

XSB

YAP

¿Qué hay de nuevo en esta versión:

• MEJORADO:
• Los cambios en las etiquetas término utilizado cuando la escritura de código compilado para ayudar a minimizar el tamaño de los archivos Prolog intermedios generados que usan esas etiquetas para decidir cuándo decorar términos compilados con los datos de ubicación de origen (en la actualidad, sólo el SWI-Prolog aprovecha la datos de localización).
• FIJO:
• Un archivo puede tener más de un archivo principal.

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

• MEJORADO:
• Los cambios en las etiquetas término utilizado cuando la escritura de código compilado para ayudar a minimizar el tamaño de los archivos Prolog intermedios generados que usan esas etiquetas para decidir cuándo decorar términos compilados con los datos de ubicación de origen (en la actualidad, sólo el SWI-Prolog aprovecha la datos de localización).
• FIJO:
• Un archivo puede tener más de un archivo principal.

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

• MEJORADO:
• Los cambios en las etiquetas término utilizado cuando la escritura de código compilado para ayudar a minimizar el tamaño de los archivos Prolog intermedios generados que usan esas etiquetas para decidir cuándo decorar términos compilados con los datos de ubicación de origen (en la actualidad, sólo el SWI-Prolog aprovecha la datos de localización).
• FIJO:
• Un archivo puede tener más de un archivo principal.

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

• MEJORADO:
• Los cambios en las etiquetas término utilizado cuando la escritura de código compilado para ayudar a minimizar el tamaño de los archivos Prolog intermedios generados que usan esas etiquetas para decidir cuándo decorar términos compilados con los datos de ubicación de origen (en la actualidad, sólo el SWI-Prolog aprovecha la datos de localización).
• FIJO:
• Un archivo puede tener más de un archivo principal.

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

• MEJORADO:
• Los cambios en las etiquetas término utilizado cuando la escritura de código compilado para ayudar a minimizar el tamaño de los archivos Prolog intermedios generados que usan esas etiquetas para decidir cuándo decorar términos compilados con los datos de ubicación de origen (en la actualidad, sólo el SWI-Prolog aprovecha la datos de localización).
• FIJO:
• Un archivo puede tener más de un archivo principal.

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

• MEJORADO:
• Los cambios en las etiquetas término utilizado cuando la escritura de código compilado para ayudar a minimizar el tamaño de los archivos Prolog intermedios generados que usan esas etiquetas para decidir cuándo decorar términos compilados con los datos de ubicación de origen (en la actualidad, sólo el SWI-Prolog aprovecha la datos de localización).
• FIJO:
• Un archivo puede tener más de un archivo principal.

¿Qué es la nueva en la versión 2.44.1:

• Se ha corregido un error en la compilación del meta_non_terminal / 1 Directiva cuando 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 se pre-procesamiento lib / 1 directivas.
• Actualización del marco de pruebas unitarias para imprimir mensajes más informativos para las pruebas de unidad que ha fallado.
• Añadido predicado dividió / 4 (para dividir una lista en sublistas con una longitud dada) a la quot y; quot ;, listp y & quot; & quot ;, lista y & quot; difflist & quot; entidades de la biblioteca.
• Actualización del & quot; cc & quot; ejemplo, con una definición de la cáscara / 2 predicado para el CxProlog.
• Se ha cambiado el nombre de los objetos de la & 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 versiones de 64 bits. Gracias a Stepan Ipatov para el informe de error.

Lo que es nuevo en la versión 2.44.0:

• Esta versión cambia la semántica de complementar las categorías, permitiendo su uso para parchear el código objeto existente, corrige dos errores en el procesamiento de los meta-llamadas, permite que las listas abiertas de terminales en el conjunto de normas DCG, añade dos nuevos ejemplos, y mejora el soporte para el editor de texto Vim y para ctags exuberante.

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

• Se ha corregido un error en el controlador de tiempo de ejecución, donde Logtalk compilador no logró descompilar identificadores de entidad internas al lanzar excepciones entidad de existencia.
• Actualización del archivo de configuración de Prolog Lean, añadiendo índice / 1 directivas para algunos de los predicados dinámicos utilizados por las mesas Logtalk tiempo de ejecución interno.
• Actualización de los archivos de integración SWI-Prolog para la prueba de la disponibilidad de la directiva índice / 1, que está en desuso por el nuevo soporte experimental SWI-Prolog para multi-argumento de indización just-in-time.
• Agregado predicados subsecuencia / 4 (para generar subsecuencias de una lista con una longitud dada), sustituya / 4 (para la sustitución de los elementos en una lista), y hamming_distance / 3 a la biblioteca & quot; listp & quot; y & quot; lista & quot; entidades.
• Añadido euclidean_norm / 2, chebyshev_norm / 2, manhattan_norm / 2, euclidean_distance / 3, chebyshev_distance / 3, manhattan_distance / 3, y scalar_product / 3 predicados a la biblioteca & quot; numberlistp & quot; y & quot; numberlist & quot; entidades.
• Se ha corregido algunos errores tontos en la definición de la & quot; & quot carácter; Los objetos de biblioteca predicados is_bin_digit / 1, is_octal_digit / 1, is_dec_digit / 1, y is_hex_digit / 1.
• Actualización de la biblioteca & quot; all_loader.lgt & quot; archivo del cargador para cargar también el & quot; meta_compiler_loader.lgt & quot; gestor de archivos.

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

• optimizado el tratamiento de las declaraciones de operador cuando la compilación de archivos de origen y dinámicamente la creación de nuevas entidades.
• Actualizado el compilador Logtalk utilizar los módulos de & quot; & quot; bandera del compilador cuando las pruebas de soporte de módulos Prolog, de este modo evitar problemas de compilación con el back-end compiladores de Prolog que no soportan un sistema de módulos, pero aún definir (:). / 2 como una función de control de la construcción o predicado
• Se eliminó la compatibilidad para el & quot; startup_message & quot; bandera compilador de & quot; banderas (compactos) & quot; y & quot; banderas (detallado) & quot; valores, sustituidos por un único valor, & quot; quot ;, banderas y que corresponde a la antigua & quot; banderas (compactos) & quot; valor.
• Se ha corregido un error cuando se utiliza op / 3 / directivas con los 4 predicados incorporados create_protocol / 3, create_object / 4, y create_category cuando las declaraciones de operadores locales serían visibles fuera de las nuevas entidades.
• Se ha corregido un error en la creación de una nueva entidad dinámica en tiempo de ejecución definiría un predicado dinámica contabilidad ya no se utiliza que no se abolió cuando se abolió la entidad.
• Se ha corregido un error del compilador donde un & quot; & quot súper; llamar desde el interior de un objeto que sólo una instancia de sí mismo y no se especializa cualquier objeto podría lanzar una excepción en lugar de fallar.
• Actualización del & quot; & quot puntos de referencia; ejemplo con el fin de proteger contra excepciones aritméticas cuando se calcula el número total de llamadas por segundo para cada prueba. Se ha reducido el número de repeticiones de pruebas comparativas cuando se ejecutan las pruebas de unidad para evitar largos tiempos de cálculo con back-end lenta compiladores de Prolog.

¿Qué es la nueva 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 la base de métodos incorporados. Este cambio se extiende la semántica de los usos / 2 Directiva y permite una migración más fácil de aplicaciones de Prolog de civil a Logtalk.
• Añadido soporte experimental para el uso de una plantilla predicado como argumento a la Directiva coinductive / 1. Esta plantilla permite la especificación de qué 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.
• Se ha quitado el apoyo coinduction para CxProlog. La versión actual de este compilador carece de un suave corte incorporada predicado o construcción de control, que ahora es requerido por la aplicación coinduction experimental.
• Lifted una limitación de muchos años 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 meta puede utilizar el ^ / 2 cuantificador existencial.
• Se ha añadido soporte para el & quot; ^ & quot; meta-meta-predicado argumento de modo especificador sugerido por Jan Wielemaker y que se encuentra en SWI-Prolog 11/05/25. Esta especificación modo es útil en la definición de contenedores para las / 3 y setof / 3 métodos incorporados bagof cada vez que el argumento meta 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 cargar un (compilado) bandera de Prolog. El valor por defecto para ambas banderas es la lista vacía.
• Se ha corregido un error al compilar las llamadas a Prolog patentada incorporada meta-predicados donde el compilador Logtalk podría intentar procesar no meta-argumentos 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 que pasa alias / 3 directivas en las llamadas a la create_object / 4, create_category / 4 y 3 / predicados incorporados create_protocol.
• Fuera del objeto incorporado & quot; Logtalk & quot; los decompile_predicate_head / 4 y decompile_predicate_indicator / 4 métodos obsoletos.
• Se eliminó la compatibilidad para el largo desuso Logtalk metapredicate 1 Directiva /.
• Se ha corregido un error rendimiento al almacenamiento en caché de las llamadas a la categoría predicados en las entradas en caché podrían ser más específica de lo necesario cuando se trabaja con categorías paramétricos.
• Mejora del almacenamiento en caché de & quot; & quot súper; las llamadas desde dentro de prototipos. Anteriormente, todas las entradas en caché serían especializados por el valor de & quot; sí & quot; con el fin de tratar adecuadamente los casos especiales en que un objeto al mismo tiempo crea una instancia y se especializa otros objetos.
• Actualización del compilador Logtalk para activar cualquier operador declaraciones que se encuentran en las directivas de alcance predicados durante la compilación de las entidades que contienen las directivas.
• Mejora el rendimiento de los predicados coinductive cuando se utiliza de back-end compiladores de Prolog como SICStus Prolog que no proporcionan el control de la construcción de corte suave, pero proporcionan la suave de corte incorporado en el meta-predicado (si / 3).
• Se ha corregido un error por el que un informe espurio de las advertencias de compilación / carga podría imprimirse cuando se compiló un archivo de origen / cargado con la bandera compilador de & quot; & quot informe; desactivado.
• Se ha añadido una & quot; & quot streamvars; objeto de biblioteca, derivada de la existente y quot; assignvars & quot; categoría de la biblioteca, que ofrece soporte para añadir y recuperar términos (que pueden ser variables) de un & quot; & quot corriente; variable.
• Actualización del & quot; coinduction & quot; ejemplo, aprovechando la Directiva coinductive mejorada / 1 y ampliando 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.
• Actualización del & quot; & quot metapredicates; 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 cualificados.
• Actualización del & quot; cc & quot; ejemplo, la corrección de las definiciones precedentes durante varios compiladores de Prolog de servicios de fondo y añadiendo algunas pruebas unitarias básicas.
• Actualización del & quot; & quot codificaciones; ejemplo, con soporte limitado para magra Prolog.
• Añadido entradas que faltan para la directiva meta_non_terminal / 1 y para la llamada // N no terminal a la & quot; ayudar a & quot; ejemplo.
• Ha añadido un analizador de archivos PDDL 3.0, aportada por Robert sasak.
• Agregado código de soporte plegable para el editor de texto SubEthaEdit. Añadido soporte para código de bloques de compilación condicional a los editores de texto Kate, Vim, y TextMate plegable.
• Actualización de los scripts de integración con el fin de cargar el archivo de rutas de biblioteca antes de cargar el Logtalk compilador / tiempo de ejecución. Este cambio tiene como objetivo simplificar la carga de las bibliotecas y archivos de ejemplo a partir de los archivos de configuración. Además, también busque el directorio de instalación Logtalk en $ HOME / acción cuando la variable de entorno LOGTALKHOME no está definido.
• Actualizado el instalador de Windows con el fin de apoyar magra Prolog y detectar YAP versiones de 64 bits.

¿Qué es la nueva en la versión 2.43.0:.

• Se ha añadido soporte experimental para magra Prolog
• Se ha quitado la restricción Logtalk compilador que obligó contiguas / 1/1 y dinámicas directivas para anunciar las llamadas a los predicados declarados.
• Mejora el informe Logtalk compilador de llamadas mal escritos a los no terminales en las reglas gramaticales.
• Permitir el uso de la:. Control / 1 construir en el cuerpo de reglas gramaticales
• Al depurar los mensajes especificados en usos / 2 directivas, el mensaje se imprime ahora 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 incorporados en los predicados multi-threading con el fin de facilitar la integración con herramientas de depuración de alto nivel que requieren descompilación del código Prolog generado.
• Se ha corregido un error en el soporte de bibliotecas para las pruebas unitarias, & quot;. & Quot ;, lgtunit donde las pruebas para las excepciones aceptarían cualquier término excepción, ya que se ajuste a las especificaciones de las pruebas unidad
• Actualización del & quot; cc & quot; ejemplo, con correcciones de errores y mejoras para Eclipse aportado por Joachim Schimpf, con una corrección de errores para la ejecución SWI-Prolog del expand_path / 2 predicado (como resultado de los cambios recientes en el SWI-Prolog absolute_file_name / 3 predicado incorporado), y con una definición para el command_line_arguments / 1 predicado para el B-Prolog.
• Actualización del & quot; coinduction & quot; ejemplo, la adición de algunos ejemplos más particulares.
• Actualización del & quot; xml_parser & quot; contribución con el fin de solucionar problemas de portabilidad con GNU Prolog.
• corregir un error en algunos scripts de shell en & quot; # / bin / bash & quot; se utilizó en lugar de & quot; #! / bin / bash & quot ;. Gracias a Yiorgos Adamopoulos para el informe de error.
• Actualización del Inno Setup script de instalación GUI de Windows con el fin de permitir la instalación completa por los usuarios que no sean administradores.
• Soporte coloreado de sintaxis añadido para la directiva ISO Prolog include / 1 a todos los editores de texto soportados y resaltadores de sintaxis.
• Se ha corregido algunos errores en la pestaña activa de los fragmentos Gedit Logtalk que impidieron su uso.
• Se ha cambiado de nuevo a usar XEP en lugar de FOP al generar las versiones PDF de los manuales de usuario y de referencia como FOP trunca el contenido de algunas de las páginas.

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

• Se ha añadido una entity_prefix / 2 predicado y dos juegos de predicados de servicios públicos, decompile_predicate_heads / 2-4 / 2-4 y decompile_predicate_indicators, a la & quot; Logtalk & quot; objeto incorporado. Marcó el decompile_predicate_head / 4 y decompile_predicate_indicator / 4 como obsoleto.
• Se ha añadido soporte para la preservación de la información de alcance para los operadores declara usando directivas de alcance durante el tiempo de compilación. Se agregó información sobre la entidad declaró a los operadores de la documentación de los archivos XML. Actualizado el texto, PDF, y (X) HTML scripts de conversión para imprimir información del operador.
• Aplicadas varias optimizaciones de bajo nivel a la Logtalk compilador / tiempo de ejecución.
• Movido los predicados internos que construyen y tienen acceso al contexto de ejecución de predicados del compilador para los archivos de configuración de Prolog con el fin de apoyar la optimización del rendimiento fino que es Prolog compilador dependiente.
• Se ha actualizado la aplicación de la / 1 multi-threading predicado incorporado roscado con el fin de utilizar una pequeña optimización de rendimiento basado en los term_variables / 2 predicados incorporados sugeridas por Timon Van Overveldt. Esta optimización tiene como objetivo reducir la copia innecesaria y unificación de términos. Además, reemplazar el uso de la / 3 predicado incorporado setup_call_cleanup con el / 3 predicado incorporado en la captura mediante la simplificación de la manipulación del maestro y servidor hilos, que también mejora el rendimiento.
• Se ha corregido un error en la implementación de la / 1 multi-threading predicado incorporado roscado donde el fracaso por parte del usuario para especificar los objetivos independientes al intentar utilizar independiente y paralelismo daría lugar a discusiones zombi.
• términos de excepción más informativo cuando se trata de declarar un predicado sincronizada como dinámico o un predicado dinámico como sincronizada.
• Se ha actualizado el archivo de configuración XSB con el fin de apoyar la elaboración de módulos como objetos. Se ha añadido una definición de los desaparecidos / 4 predicado incorporado setup_call_catcher_cleanup. XSB 3.3 (o una versión posterior) ahora se requiere para la compatibilidad con Logtalk.
• Se ha actualizado el archivo de configuración SWI-Prolog con el fin de proporcionar un soporte limitado para la arithmetic_function / 1 Directiva de propiedad (funciones aritméticas se compilan como global en vez de como local para los objetos o categorías que definen ellos).
• Se ha actualizado el archivo de configuración YAP con el fin de pasar por alto el style_check 1 Directiva / e interpretar el / Directiva yap_flag 2 como 2 Directiva / set_prolog_flag.
• Se ha cambiado el procesador XSL-FO predeterminado (utilizado para generar las versiones PDF de los manuales de usuario y de referencia) de XEP de FOP.
• Actualización del & quot; xml_parser & quot; contribución con el fin de solucionar problemas de portabilidad con Qu-Prolog, SICStus Prolog, y XSB.
• Actualización del & quot; & quot codificaciones; ejemplo con el fin de asegurar que la no hay espacio en blanco antes de la codificación 1 Directiva /.
• Actualización del & quot; & quot attvars; ejemplo con el fin de apoyar B-Prolog y XSB. También se ha añadido soporte para el uso de variables atribuidas dentro de los objetos paramétricos Logtalk y categorías paramétricos. Gracias a Jan Wielemaker, Vator Santos Costa, y Bart Demoen de retroalimentación y sugerencias de aplicación.
• Actualización del & quot; & quot perfiladores; ejemplo, con soporte preliminar para los cambios en los perfiles de ejecución en la versión 4.2 SICStus Prolog.
• Actualización del & quot; & quot expansión; ejemplo, con más código de ejemplo sobre cómo combinar término- y definiciones de objetivos de expansión de diferentes objetos ganchos.
• Actualización del & quot; coinduction & quot; ejemplo, la adición de un experimental keysort / 2 predicado coinductive. Gracias a Jan Burse por la sugerencia.
• Actualización del & quot; & quot tak; multi-roscado ejemplo en el que un corte falta daría lugar a agotar rápidamente la pila local cuando utiliza SWI-Prolog debido a la creación de un número muy grande de puntos de elección innecesarios.
• Actualización del & quot; mtbatch & quot; ejemplo de subprocesos múltiples con el fin de proporcionar la evaluación comparativa ampliada de la & quot; & quot tak; ejemplo.
• Actualización del portfile MacPorts y el script que lo actualiza a fin de eliminar el cálculo de la suma de comprobación MD5, que está siendo eliminado por MacPorts.
• Actualización del Inno Setup script de instalación GUI de Windows con el fin de solucionar un error en los instaladores SWI-Prolog de Windows en el que el procedimiento de desinstalación fallan al eliminar las claves de SWI-Prolog del registro de Windows.

¿Qué es la nueva en la versión 2.42.3:

• Permitir que los predicados dinámicos declarados en una categoría que se llama en & quot; esta & quot; desde dentro de la categoría. En versiones anteriores, este tipo de llamadas se traduciría en un error de tiempo de compilación, obligando a estos predicados que ser llamado & quot; sí & quot; (Utilizando el mensaje :: / 1 el envío de construcción de control).
• Soporte compilador Agregado Logtalk de cabezas cláusula pre-compilados (utilizando el} / 1) construcción de control {. Esta característica es útil sobre todo cuando se utiliza el término mecanismo-expansión.
• Se ha corregido un error en el código que simplifica las cláusulas precedentes generados por la compilación de las reglas gramaticales. El código bucle cuando una regla gramatical contenía un meta-variable, que el compilador debe Logtalk (pero actualmente no lo hacen) informe de ilegal (la construcción de llamada / 1 de control se debe utilizar en cambio en este caso).
• simplificado la compilación de las llamadas en el contexto de la pseudo-objeto & quot; usuario & quot;.
• Ha añadido un comando depurador & quot; p & quot; a la Logtalk depurador incorporado. este comando imprime el objetivo actual utilizando el predicado de impresión / 1 cuando esté disponible. Cambió el nombre del comando depurador & quot; q & quot; a & quot; Q & quot ;. Se ha corregido un error por el que el comando & quot depurador; w & quot; no sería reconocido. Cambiado el comando & quot depurador; d & quot; citar términos cuando sea necesario.
• añadida una implementación parcial de la norma ISO Prolog predicate_property / 2 predicado en el fichero de configuración de Eclipse.
• Se ha actualizado el archivo de configuración SWI-Prolog con el fin de eliminar la declaración errónea de la biblioteca meta-predicados dde_register_service / 2, el tiempo / 1, y cuando / 2 como una función de meta-predicados.
• Se aplica una corrección de errores de los & quot; & quot banderas; contribución a disposición por su autor, Theofrastos Mantadelis. Solucionar un problema de compatibilidad con GNU Prolog.
• Añadido a / 2 predicado memberchk a la biblioteca & quot; setp & quot; protocolo y & quot; & quot establecido; objeto. Añadido predicados is_control / 1, is_newline / 1, y is_end_of_line / 1 a la biblioteca & quot; characterp & quot; y & quot; & quot carácter; entidades.
• Añadido un ejemplo experimental de uso de variables atribuidas dentro de objetos Logtalk y categorías. En la actualidad requiere el uso de YAP o SWI-Prolog como el back-end Prolog compilador.
• Se ha añadido soporte para deicticos a la & quot; limitaciones / SICStus & quot; ejemplo.
• extendido el & quot; & quot delegados; ejemplo con una implementación de ejemplo de una persona que delega el uso de un objeto paramétrico.
• extendido el & quot; dynpred & quot; ejemplo con el fin de ilustrar la forma de definir la categoría predicados que manejan los predicados dinámicos en el contexto de & quot; esta & quot; y en el contexto de & quot; sí & quot;.
• Ha añadido un predicado wall_time / 1 a la & quot; cc & quot; ejemplo.
• Se ha actualizado el resaltado de sintaxis archivos de prueba, añadiendo que faltan verdaderos / 0/0 y fallar construcciones de control.

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

• Actualización del compilador Logtalk con el fin de permitir la comprobación de propiedades módulo de predicados sin necesidad de importar los predicados en & quot; usuario & quot; (Nota, sin embargo, que el módulo debe todavía ser cargado antes de la compilación de archivos fuente que llaman los predicados módulo).
• Actualización del compilador Logtalk con el fin de comprobar en tiempo de compilación argumentos de cierre instanciados de guardia / 2-N metas para errores comunes de programación.
• Actualización del compilador Logtalk con el fin de generar avisos para las expresiones lambda con variables que no están declarados como variables o parámetros libres lambda o con variables que se declaran como ambas variables libres y parámetros lambda. Gracias a Jan Burse por sugerir estas comprobaciones de validez.
• Actualización del tiempo de ejecución Logtalk con el fin de apoyar el uso de la & # x3c; & # x3c; / 2 Control de construir en el cierre de meta-meta-argumentos de los predicados
.
• Se ha añadido soporte para la compilación libre / Expresión objetivo lambda llamadas (generando automáticamente un predicado auxiliar siempre que sea posible).
• Ha añadido un / 1 compile_aux_clauses método público, basado en un predicado con el mismo nombre en SWI-Prolog, al objeto incorporado & quot; & quot ;. Logtalk Este método se suele llamar desde goal_expansion / 2 ganchos con el fin de recopilar las cláusulas auxiliares generados para apoyar un objetivo ampliado.
• Añadido el meta-predicado ignorar / 1, implementado por algunos compiladores de Prolog como un predicado incorporado, como un método integrado Logtalk.
• Se ha actualizado el archivo de configuración SWI-Prolog con el fin de evitar que la carga automática de bibliotecas de bloques al consultar propiedades de predicado de Logtalk.
• Actualización del Qu-Prolog, SICStus Prolog, y los archivos de configuración XSB con el fin de poner a disposición el predicado term_variables / 2 como un predicado incorporado en la norma ISO.
• Actualización de los scripts de integración Qu-Prolog con el fin de duplicar el valor del tamaño de almacenamiento dinámico de la constitución del Logtalk compilador / tiempo de ejecución, la solución de un accidente de inicio.
• restaurado el archivo de comandos de MacOS X para GNU Prolog (llega desde la quot y; scripts / MacOSX / command_files / no soportado & quot; carpeta).
• Agregado predicados findall_member / 4-5 para el objeto de biblioteca & quot; meta & quot; (Basada en el borrador Prolog propuesta de la biblioteca de Richard O'Keefe). METAP & quot; declaración y definición de los predicados que se puede llamar / 1 e ignorar / 1 de las entidades de la biblioteca & quot eliminado; y & quot; meta & quot; (Exigible / 1 es un predicado incorporado en todos los compiladores de Prolog soportados; ignorar / 1 se ha convertido en un Logtalk método integrado)
.
• Ha añadido un objeto de biblioteca, & quot; quot ;, meta_compiler y que puede ser utilizado como un gancho objeto de ampliar las llamadas a los meta-predicados definidos en el objeto de biblioteca & quot; meta & quot; con el fin de evitar los gastos generales meta-llamada. En aquellos casos en que la llamada meta-predicado no se puede optimizar, la definición por defecto en el & quot; meta & quot; se utiliza objeto. El uso de construcciones de control como meta-argumentos no es (todavía) apoyó. Trabajo en curso.
• Ha añadido un protocolo, & quot; & quot ;, loggingp y categoría de objetos y las implementaciones, & quot; registro & quot; y & quot;. & quot ;, registrador de declarar y definir la funcionalidad básica para el registro de eventos de archivos a la biblioteca
• Ha añadido un protocolo, & quot; intervalp & quot ;, y un objeto, & quot; intervalo de & quot ;, declarar y definir las relaciones de intervalos temporales básicas para la biblioteca (basada en la obra de James F. Allen Intervalo Álgebra)
.
• añadida una categoría implementar contadores con un nombre enteros, & quot;. & Quot ;, contadores a la biblioteca
• los predicados Añadido proper_prefix / 2 y proper_suffix / 2 a las entidades de la biblioteca & quot; quot ;, listp y & quot; & quot ;, lista y & quot; difflist & quot;.
• Añadido predicado transponer / 2 a la biblioteca de objetos de & quot; & quot pares;.
• Añadido dos pseudo-ejemplos para propósitos de prueba, & quot; lambdas_compiled & quot; y & quot; quot ;, metapredicates_compiled y que hacen uso de la nueva biblioteca de objetos
• & quot; meta_compiler & quot;.
• Actualización del & quot; & quot expansión; ejemplo con el fin de ilustrar cómo definir y combinar objetos de gancho.
• Se ha añadido soporte para el uso del paquete de SyntaxHighlighter (versión 3.0.83 o posterior) por Alex Gorbachov con el código fuente Logtalk.
• Añadido coloreado de sintaxis que falta de la persona / 0 directiva de compilación condicional para el apoyo de GNU Source-highlight highlighter.
• Se agregó una nota sobre el soporte de edición de texto Logtalk disponibles en el editor de texto libre MacOS X Kod.
• Se ha añadido soporte coloreado de sintaxis para el nuevo ignorar / 1 método integrado a todos los editores de texto soportados y resaltadores de sintaxis.

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

• Se ha añadido soporte para el compilador Logtalk para detectar y comunicar falta / 1 y no contiguas directivas / 1 predicados dinámicos.
• añadido un nuevo indicador de pelusa, & quot; quot ;, missing_directives y con un valor predeterminado de & quot; quot ;, advertencia y de todos los archivos de configuración. Este indicador permite la impresión de las advertencias del compilador de la falta / 1, / 1, y en varios archivos / 1 predicados directivas no contiguas dinámicos.
• Se ha añadido soporte para los nuevos indicadores del modo de plantilla de meta-predicado: (/) para un indicador predicado, [/] para obtener una lista de los indicadores subyacentes, y [0] para obtener una lista de objetivos
.
• Se ha corregido un error en el compilador Logtalk al comprobar cabezas cláusula meta-predicado de errores donde el & quot; :: & quot; Indicador del modo de meta-argumento seguía siendo interpretado como & quot; 0 & quot;.
• Se ha corregido un error en el manejo de los cierres (en meta-llamadas) que se utilizan para construir las llamadas para controlar las construcciones o predicados incorporados que podrían dar lugar a llamar a algunos meta-argumentos en el contexto equivocado. Gracias a Ulrich Neumerkel para el ejemplo que ilustra en la lista de correo SWI-Prolog.
• Actualización del compilador Logtalk con el fin de evitar las advertencias de impresión por las referencias a la falta & quot; quot expandir y; y & quot; & quot monitoreo; incorporado en los protocolos al compilar módulos como objetos.
• revertido los cambios en la versión 2.39.2 que permitieron la pseudoobjeto & quot; usuario & quot; para contener prácticamente la definición de todos los predicados incorporados en Prolog. Esto podría dar lugar a resultados diferentes dependiendo del back-end Prolog compilador, especialmente cuando se llama meta-predicados en el contexto de & quot; usuario & quot;.
• Se ha corregido un error en el SWI-Prolog & quot; swihooks.lgt & quot; archivo que dio lugar a un falso mensaje de error sobre una bandera Logtalk no válido cuando se consulta a un archivo Prolog cuando hay un archivo de origen Logtalk con el mismo nombre en el mismo directorio.
• Soporte faltante añadido para patentada incorporada meta-predicados a los archivos de configuración YAP B-Prolog, SICStus Prolog, SWI-Prolog, XSB, y.
• Actualización del SICStus Prolog, SWI-Prolog, y los archivos de configuración YAP con el fin de anular las plantillas de los meta-predicado de la consulta / 1/2 y load_files predicados incorporados.
• Se ha agregado una aplicación de un map_reduce / 5 meta-predicado con el objeto de biblioteca & quot; meta & quot;.
• Se ha agregado una aplicación de un command_line_arguments / 1 predicado a la & quot; cc & quot; ejemplo.
• Actualización del & quot; & quot lambdas; y & quot; & quot metapredicates; ejemplos, que ilustran cómo calcular los números de Fibonacci usando un pliegue izquierda meta-predicado. Actualizado el & quot; metapredicates & quot; ejemplo con un ejemplo de uso de la map_reduce / 5 meta-predicado.
• Actualización del & quot; problog & quot; ejemplo, la adición de soporte preliminar para la nueva sintaxis disyunciones anotados.
• Ha añadido un & quot; & quot magia; elemento para el archivo de tipo mime Logtalk de la base de datos mime-info freedesktop.org compartido.

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

• Se ha agregado una aplicación de banderas de objetos persistentes
• Ha añadido un nuevo par de predicados incorporados, conforms_to_protocol / 2-3, la aplicación de la clausura transitiva de la relación implementación del protocolo.
• Se ha agregado una directiva experimental, anotación / 1, para apoyar la integración Logtalk con otros lenguajes como ProbLog y CHR.