Logtalk

        Logtalk es un lenguaje de programación lógico orientado a objetos que puede usar la mayoría de las implementaciones de Prolog como compilador de back-end. Como lenguaje de paradigma múltiple, Logtalk incluye soporte para prototipos y clases, protocolos (interfaces), programación basada en componentes a través de la composición basada en categorías, programación dirigida por eventos y programación de subprocesos de alto nivel.
    

Lo nuevo en esta versión:

* MEJORADO: Evite las advertencias falsas faltas de la directiva `meta_predicate / 1` cuando la meta-llamada real no comparte variables con cláusula de cabeza.


* MEJORADO: Permitir el uso de expresiones lambda en las reglas gramaticales sin requerir un envoltorio `call // 1`.


* CORREGIDO: error de optimización en la compilación de un meta-argumento de cierre cuando el objetivo resultante es una llamada a un predicado incorporado de Prolog debido a la inclusión de una definición de predicado de usuario.


* CORREGIDO: error de optimización en la compilación de un meta-argumento de cierre cuando el objetivo resultante es una llamada a un constructo de control Prolog `: / 2`.

Lo nuevo en versión 3.19:

* AGREGADO: Soporte para definir predicados incorporados de Prolog adicionales para pelusa
Verificaciones de objetivos que siempre son verdaderas o falsas para los archivos de adaptador que utilizan el
predicado de gancho `'$ lgt_candidate_tautology_or_falsehood_goal_hook' / 1`.


* AGREGADO: propiedad de objeto `módulo` para objetos que resultan de la compilación
de los módulos de Prolog.


* AGREGADO: error de conveniencia al lanzar los métodos incorporados `syntax_error / 1` y
`system_error / 0`. Estos métodos lanzan términos de excepción estándar `error / 2`
y son equivalentes a una secuencia de llamadas a los métodos `context / 1` y` throw / 1`.


* ELIMINADO: Compatibilidad con Logtalk 2.x `calls / 1`,` uses / 1`, y desaprobado
Directivas `alias / 3`.


* ELIMINADO: Compatibilidad con la construcción de control desechada de Logtalk 2.x `: / 1`.


* ELIMINADO: Soporte para Logtalk 2.x `unknown` desaprobado, `singletons`,
`tmpdir`, y` version` compiler flags.

Lo nuevo en la versión 3.14:

NUEVO: Soporte para _parámetros variables_ proporcionando una alternativa a la
Métodos incorporados de `parameters / 2` y` this / 1` para acceder a los parámetros de la entidad.
Las variables de parámetros son variables usadas en el identificador de entidad paramétrica
que comienzan y terminan con un guión bajo (`_VariableName_`). Cualquier ocurrencia
de una variable de parámetro en una cláusula de entidad está unificada implícitamente con la
parámetro de entidad. Esto permite que los parámetros de entidad se agreguen, reorganicen o
eliminado sin requerir ningún cambio en las cláusulas que se refieren a ellos.
Las variables de parámetros solo son compatibles con las entidades paramétricas definidas en
archivos de origen.

Lo nuevo en la versión 3.13:

NUEVO: el soporte del compilador para detectar llamadas a predicados estáticos locales sin cláusulas coincidentes (también conocido como fallas triviales) ).

Lo nuevo en la versión 3.11.1:

* MEJORADO: Los mensajes de advertencia y error del compilador los hacen más uniformes para facilitar el análisis por los editores e IDE y para evitar la impresión de términos potencialmente grandes.


* MEJORADO: El compilador ya no requiere llamadas a la base de datos y predicados de reflexión donde el primer argumento es un término calificado de módulo que se envuelve usando la construcción de control de omisión del compilador `{} / 1`.


* MEJORADO: Comprobación de errores del compilador para la base de datos y llamadas de predicado de reflexión donde el primer argumento es un término calificado de módulo.


* MEJORADO: Minimiza la cantidad de recargas de archivos activadas por llamadas a los predicados `logtalk_make / 0-1`.


* CORREGIDO: Caso en el que los predicados `logtalk_make / 0-1` no podrían volver a cargar un archivo cuya compilación generó un error de compilación.

Lo nuevo en la versión 3.11:

* CAMBIADO: el predicado incorporado `current_event / 5` para instanciar siempre el primer argumento cuando se llama con él sin vincular.


* AGREGADO: Soporte para anular el directorio predeterminado predeterminado al definir
el alias de la biblioteca `scratch_directory` en un archivo de inicialización Prolog backend
(Se supone que se cargará antes de la carga de Logtalk). Después de una discusión con
Douglas R. Miles apoya la instalación de Logtalk en un directorio de solo lectura
y ejecutando múltiples instancias de Logtalk simultáneamente sin conflicto.


* AGREGADO: un método de ejecución de contexto incorporado `contexto / 1` para proporcionar acceso
a un contexto de ejecución de llamada predicada. Se utiliza principalmente para proporcionar un valor predeterminado
contexto de error cuando se comprueban los argumentos predicados.


* AGREGADO: Soporte para imprimir mensajes de tipo `debug` y` debug (_) `. Estas
los mensajes solo se imprimen, de forma predeterminada, cuando el indicador `debug` está activado.


* ADDED: La propiedad `includes (File)` al `logtalk :: loaded_file_property / 2`
predicado para permitir la enumeración, haciendo un seguimiento, todos los archivos incluidos por un
archivo cargado (usando las directivas `include / 1`).

Lo nuevo en la versión 3.10.7:

* RENAMED: El `logtalk_make / 1` target` missing` to `check`.


* AGREGADO: Soporte para extender los objetivos `logtalk_make / 1` con el usuario definido
acciones usando el nuevo predicado de múltiples archivos `logtalk_make_target_action / 1`.


* AGREGADO: La pelusa del compilador comprueba los objetivos de tautología y falsedad de la entidad.
Actualmente están verificadas las llamadas a la unificación, comparación y tipo de Prolog.
prueba de predicados incorporados. Sugerido por Barry Evans.

Lo nuevo en la versión 3.10.5:

* CORREGIDO: se introdujo la regresión en la versión 3.10.2 cuando se ejecutó la meta-llamada Métodos incorporados al contexto.

* CORREGIDO: falla del compilador como resultado de la aplicación de verificaciones de portabilidad a las llamadas a los predicados y funciones integradas de Prolog que se encuentran en las cláusulas auxiliares (generalmente generadas por el mecanismo de expansión de términos).

¿Qué es nuevo en la versión 3.10.3:

* MEJORADO: Código simplificado generado para predicados de varios archivos.


* FIJADO: Regresión en versión anterior en la compilación de archivos múltiples.
Cláusulas de predicado que realizan llamadas a las construcciones de control `:: / 1-2`.

Lo nuevo en la versión 3.09.1:

* AGREGADO: Soporte para los objetos `number_of_rules / 1` y` number_of_user_rules / 1`
y propiedades de categoría.


* AGREGADO: Soporte para la propiedad de predicado `number_of_rules / 1`.


* AGREGADO: Detección de las directivas `meta_predicate / 1` que especifican erróneamente un objetivo
meta-argumento que es en realidad un cierre pasado al meta-predicado `call / 2-N`
llamadas Gracias a Arun Majumdar por el informe.


* AÑADIDO: Detección de directivas de alcance de predicado faltantes en presencia de
Directivas `mode / 2`.

Lo nuevo en la versión 3.09.0:

* CAMBIADO: los archivos de configuración ahora también se buscan en el usuario directorio de inicio
cuando no se encuentra en el directorio de inicio o en el directorio de usuario de Logtalk.
Establecer la bandera `settings_file` en` restringir` ahora restringe la búsqueda de
un archivo de configuración en el directorio de usuario de Logtalk y el directorio de inicio del usuario.
Estos cambios son útiles cuando un equipo comparte una instalación de Logtalk con ambos
Las variables de entorno `LOGTALKHOME` y` LOGTALKUSER` apuntan a la
mismo directorio Gracias a Barry Evans por la sugerencia.

Novedades en la versión 3.08.0:

* CAMBIADO: Asegúrese de que en el compilador se muestren mensajes de error y advertencia. la información de archivo y línea es siempre la última línea para el problema informado.

Lo nuevo en la versión 3.07.0:

* AGREGADO: un indicador de solo lectura `unicode` para describir el compilador de backend de Prolog
Soporte para el estándar Unicode.


* AGREGADO: Soporte para la instanciación de argumentos `++` (tierra) y `--` (sin consolidar)
Modos (declarados como operadores de prefijo) para usar con el predicado `mode / 2`
directiva.


* AGREGADO: Soporte para la especificación de determinismo `one_or_error` en` mode / 2`
Directivas predicadas. Útil para documentar predicados de comprobación de tipo.


* MEJORADO: Detectar intentos de llamar a objetivos cuantificados existencialmente fuera del
alcance de las llamadas `bagof / 3` y` setof / 3`.


* FIJO: Al compilar las directivas `use / 2`, no cree una cláusula de enlace para
uso de tiempo de ejecución para predicados incorporados en `usuario` cuando no se está definiendo un alias.


* CORREGIDO: cuando se propaga una falla de compilación de un archivo a sus archivos principales,
asegúrese de que los antepasados ​​del archivo se volverán a cargar comenzando con el antepasado superior
Por el mecanismo de la marca.


* CORREGIDO: evita las recargas de archivos redundantes al llamar a `logtalk_make / 0` o
`logtalk_make / 1` con el objetivo` all`.


* FIJO: Detección de predicados faltantes en las llamadas `^^ / 1` al llamar
`logtalk_make / 1` con el objetivo` falta`.

* CORREGIDO: Error en la API de reflexión donde algunas referencias cruzadas de predicados
La información no fue registrada. Gracias a Edward Schwartz por el informe de error.

Novedades en la versión 3.06.2:

Esta versión continúa el trabajo para mejorar las herramientas para desarrolladores en el patrocinio de Kyndi, Inc. Incluye una nueva versión de la herramienta de envoltura para portar aplicaciones Prolog simples y mejoras y correcciones para las herramientas de lgtunit y diagramas. También incluye nuevas pruebas de unidad, arreglos de compilación y documentación, y una actualización de compatibilidad para Lean Prolog.

Novedades en la versión 3.04.1:

* CORREGIDO: error del compilador en el que un predicado que se expande en términos de término al llamar al método `compile_aux_clauses / 1` podría ser reportado como no contiguo.


* CORREGIDO: las llamadas al predicado incorporado `threaded_notify / 1` desde el pseudoobjeto` user` no deben requerir un argumento de enlace según la documentación.


* FIJADO: las llamadas a los predicados incorporados `object_property / 2` y category_property / 2` con los argumentos de las propiedades` number_of_clauses / 1` o `number_of_user_clauses / 1` para ser deterministas.

¿Qué es nuevo en la versión 3.03.0:

* AGREGADO: Soporte para un nuevo objetivo `logtalk_make / 1`,` missing`, para enumerar entidades y predicados que faltan. También disponible usando el acceso directo `{?}`

* AGREGADO: Soporte para un nuevo `logtalk_make / 1` target,` circular`, para listar referencias circulares (considerando objetivos de envío de mensajes) entre pares y tríos de objetos. También disponible usando el acceso directo `{@}`

* MEJORADO: Agregue un hash de directorio a los nombres de archivos de Prolog intermedios para ayudar a evitar colisiones de nombres de archivos al recopilar todos los archivos intermedios en el mismo directorio para incrustar. Actualmente requiere ECLiPSe, GNU
Prolog, JIProlog, Quintus Prolog, SICStus Prolog, SWI-Prolog, XSB o YAP como el compilador de fondo.

* CORREGIDO: error de optimización de la llamada del meta-predicado cuando un meta-argumento es un cierre precompilado o un cierre para un objetivo llamado en el contexto de
"usuario" pseudo-objeto. También aplique una comprobación de errores más estricta a los meta argumentos.

* CORREGIDO: impresión bonita de objetos paramétricos y identificadores de categorías paramétricas en mensajes de error y advertencia.

Lo nuevo en la versión 3.02.2:

* CORREGIDO: Error al verificar el error en las expresiones lambda usando `true / 0` como lambda
Gol. Gracias a Boris Vassilev por el informe de error.


* CORREGIDO: el predicado `logtalk_make / 1` tendría éxito (después de imprimir una advertencia
mensaje) cuando se llama con un argumento no instanciado o no válido en lugar de
defecto. al
generó archivos Prolog intermedios utilizando un predicado de varios archivos para una mejor
experiencia de incrustación. En particular, hace que sea más fácil hacer incrustación incremental.


* MEJORADO: los predicados de make ahora también recargan los archivos principales de los archivos con
Compilación o errores de carga. Esto asegura que, cuando un archivo defectuoso aborta el
compilación de todos los archivos en un archivo cargador, los archivos enumerados después de la falla
el archivo se compilará cuando el archivo defectuoso se arregle y los predicados de marca sean
llamado.

Lo nuevo en la versión 3.02.1:

* MEJORADO: Las entradas de la tabla de tiempo de ejecución para los archivos cargados ahora se agregan a los archivos Prolog intermedios generados utilizando un predicado de varios archivos para una mejor experiencia de incrustación. En particular, hace que sea más fácil hacer incrustación incremental.
 * MEJORADO: los predicados de make ahora también recargan los archivos principales de los archivos con errores de compilación o carga. Esto garantiza que, cuando un archivo defectuoso aborta la compilación de todos los archivos en un archivo de carga, los archivos enumerados después del archivo defectuoso se compilarán cuando el archivo defectuoso se arregle y se llame a make predicates.

Lo nuevo en la versión 3.01.2:

Esta versión completa la implementación de enlace estático; agrega soporte para usar los nombres de archivos tal como están con los predicados de compilación y carga; corrige errores de compilación; actualizaciones de documentación de características; mejora las herramientas de depuración, prueba y documentación; agrega un nuevo conjunto de pruebas unitarias para verificar el cumplimiento de Prolog con los estándares oficiales y de facto; actualiza el color de la sintaxis de todos los editores de texto compatibles y los resaltadores de sintaxis; e incluye actualizaciones de compatibilidad para ECLiPSe, JIProlog y YAP.

Requisitos :

Compilador de Prolog compatible.