Descarga gratuita de Logtalk , descarga de Logtalk descarga de software

Lenguaje de programación lógica orientada a objetos de código abierto LogTalk es un lenguaje de programación lógico orientado a objetos de código abierto maduro que puede usar la mayoría de las implementaciones de prólogo como un compilador de back-end. Aquí hay algunas características clave de "LogTalk": · Las directivas de predicado (declaraciones) pueden estar contenidas protocolos internos (interfaces), que pueden ser implementados por cualquier objeto. · Los nombres de los objetos pueden ser términos compuestos que contienen variables libres que se pueden usar para parametrizar predicados de objetos. Esto nos permite tratar cualquier predicado como una instanciación de un objeto paramétrico. Es decir. A través del objeto paramétrico, podemos asociar cualquier número de métodos con un término compuesto. · Es posible que tenga, en la misma aplicación, jerarquías basadas en clase (con la instanciación y las relaciones de especialización) y las jerarquías basadas en prototipos (con relaciones de extensión). Además, las características de lenguaje fundamental, tales como protocolos (interfaces) y categorías (componentes), se pueden usar simultáneamente por clases, instancias y prototipos. · No es necesario restringir a una jerarquía larga y larga enraizada en un objeto genérico. · LogTalk admite la herencia privada, protegida y pública de una manera similar a la c. Además, cualquier relación de entidad se puede calificar utilizando una palabra clave de alcance. P.ej. Un objeto puede implementar privadamente un protocolo, lo que hace que todo el protocolo declare predicados en privado. · Establezca el alcance de los predicados de su objeto para que coincidan con su diseño de protocolo y deje que el sistema de tiempo de ejecución haga cumplir sus opciones. · Los objetos pueden ser estáticos o dinámicos. Los objetos estáticos se definen en los archivos de origen que se compilan y se cargan de la misma manera que los archivos prólogo. El objeto dinámico se puede definir en archivos de origen o creado en tiempo de ejecución. · Cualquier objeto estático puede contener tanto los predicados estáticos como los dinámicos. · LogTalk utiliza la sintaxis de prólogo estándar con la adición de algunos operadores y directivas para una curva de aprendizaje suave. El código de prólogo se puede encapsular fácilmente dentro de los objetos con poco o ningún cambio. Además, LogTalk puede interpretar transparentemente la mayoría de los módulos prólogo como objetos de LOGTALK para una fácil reutilización del código existente (por ejemplo, bibliotecas). · Los predicados se pueden llamar implícitamente cuando ocurre un evento espiado, lo que permite soluciones de programación que minimizan el acoplamiento de objetos. Además, los eventos brindan apoyo para la reflexión conductual. · Los predicados pueden ser encapsulados dentro de las categorías, que pueden impartirse virtualmente por cualquier objeto, sin ninguna duplicación de código e independientemente de las jerarquías de objetos. Por lo tanto, los objetos se pueden definir a través de la composición de las categorías, que actúan como unidades de reutilización de código de grano fino. · La programación de múltiples niveles de alto nivel está disponible cuando se ejecuta LogTalk con compiladores de prólogo de back-end seleccionados, lo que permite que los objetos admitan mensajes sincrónicos y asíncronos. Aproveche fácilmente las computadoras modernas de múltiples procesadores y múltiples núcleos sin molestarse con los detalles de crear y destruir hilos, implementar la comunicación de hilo o sincronización de hilos. · LogTalk es compatible con la muerte múltiple de protocolo e implementación. Un objeto puede implementar varios protocolos y extenderse, especializarse, o instanciar varios objetos. Los conflictos multiherniados se resuelven implícitamente por los algoritmos de búsqueda de LogTalk o explícitamente utilizando las directivas de predicado. · El código LOGTALK se compila usando las mismas técnicas que utiliza para escribir un código de prólogo eficiente. Además, LogTalk admite tanto la unión estática como la unión dinámica (con el almacenamiento en caché de búsqueda de métodos), mejorando enormemente el rendimiento. Los resultados de referencia para algunos compiladores de prólogo están disponibles aquí. · LogTalk está diseñado para una integración suave con cualquier compilador de prólogo que cumpla o siga de cerca la norma ISO PRONG. · Interfaces de LogTalk con un compilador de prólogo de back-end específico a través de un archivo de configuración mínimo que lo hace compatible con casi cualquier compilador moderno. · LogTalk genera automáticamente un archivo de documentación en formato XML para cada objeto, protocolo o categoría compilados. El sistema incluye todos los archivos XSL (T) necesarios y scripts para convertir archivos de documentación a (x) HTML y PDF. Requisitos: · Prolog ¿Qué hay de nuevo en este lanzamiento: · Soporte adicional para usar la construcción de control de logtalk de {} / 1 compilador para envolver cierres que deben ejecutarse dentro del contexto del pseudo-objeto "Usuario" (por ejemplo, llamadas a predicados incorporados de prólogo). · Módulo de solución de soluciones Semántica de predicados metáticos para admitir llamadas a los metadicados METULOS especificados en las directivas USE_MODULE / 2 dentro de los objetos y categorías. · Soporte agregado para compilar llamadas a Meta-predicados de módulos que se califican explícitamente (pueden requerir que los módulos estén cargados, dependiendo del compilador de prólogo de back-end). · Limpieza de código de la compilación de directivas de predicado de meta-predicado. Apriete las verificaciones de las directivas de meta-predicado y los argumentos de la directiva de meta-predicado. · Compilación mejorada de goles de llamada / 2-n. · Mejora el rendimiento de las meta-llamadas que se compilan en tiempo de ejecución. · Rendimiento mejorado de la expresión lambda libre / meta, generalmente utilizada en las llamadas BAGOF / 3 y SETOF / 3. · Mejora de la comprobación de errores de expresión de lambda y adición de soporte para usar una expresión (>>) / 2 lambda como objetivo. · Se corrigió un error al manejar el contexto de Meta-Call para expresiones LambDA. · Se corrigió un error tipográfico en el plazo de excepción generado al enviar un mensaje a un objeto correspondiente a un método local incorporado. · Actualice el archivo de configuración CXPRONG para establecer límites de lista de escritura y escritura que permitan la compilación de las bibliotecas y ejemplos de LogTalk (los valores predeterminados son dos bajos en algunos casos que conducen a errores de compilación). Además, aproveche la nueva bandera de "version_data", lo que requiere la versión 0.97.4 o una versión posterior. · Actualice el archivo de configuración SWI-PROG para reconocer y compilar la Directiva patentada AT_HALT / 1. · Actualice el archivo de configuración B-PRONG para agregar una declaración de Meta-predicado que falta para el predicado de PROPIENTE FOREACH / 2 incorporado. · Actualice el archivo de configuración de YAP agregando una declaración faltante para el META-PREDICAMENTE META PROPORTADO DE PROPIEDADES PROPORTIMIENTOS y comentando la llamada que establece el indicador "Idioma" a "ISO" debido a todas las bibliotecas de YAP que no T Compile con esta configuración. · Actualice el archivo de configuración XSB agregando una declaración faltante para el tiempo de Meta-predicado METOME incorporado de la Tiempo / 1 y una definición para el Configuración de predicado_call_cleanup / 3 (para que restaure la compatibilidad con las funciones de LOGTALK MULTI-THRHOPING). · Actualice todos los archivos de configuración con información sobre la disponibilidad del Setup_Call_CleanUP / 3 predicado. · Expandió el ejemplo "lambdas" con una contribución de Artur Miguel Dias, más consultas de muestra (incluidas las no deterministas), y algunos puntos de referencia simples. · Se agregó soporte para colorear de sintaxis para el operador de cuantificador existencial ^ / 2 para la mayoría de los editores de texto compatibles y los resaltadores de sintaxis. Añadido código de muestra utilizando el cuantificador existencial ^ / 2 al archivo de prueba de coloración de sintaxis.

Logtalk Software relacionado