Idioma :: XSB Idioma :: XSB es un módulo Perl que le permite usar XSB de PERL.
Descargar ahora

Idioma :: XSB Clasificación y resumen

Idioma :: XSB Etiquetas

Módulo perl idioma Lenguaje xsb Perl xsb XSB

Idioma :: XSB Descripción

Idioma :: XSB es un módulo PERL que le permite usar XSB de PERL. Idioma :: XSB es un módulo Perl que le permite usar XSB de Perl.Synopsis Use Idioma :: XSB ': Consulta'; Usar idioma :: Prolog :: Tipos :: Sobrecarga; Use Idioma :: prool :: azúcar vars => , funtores => {igual => '='}, funtores => , cadenas => {plus => '+' , orn => ';'}; xsb_set_query (igual (x, 34), igual (y, -12), es (z, más (x, y, 1000))); while (xsb_next ()) {printf ("x =% d, y =% d, z =% dn", xsb_var (x), xsb_var (y), xsb_var (y), xsb_var (z))}}} impresión de impresión ("n", xsb_fin_all (ORN (Igual (x, 27), igual (x, 45)), x)), "n"; abstractualiño :: XSB proporciona una interfaz bidireccional a XSB ().desfrom El Manual XSB: XSB es un sistema de programación lógica orientada a la investigación y un sistema de base de datos deductivo desarrollado en SUNTY STONY BROOK. Además de proporcionar toda la funcionalidad de Prolog, contiene características que generalmente no se encuentran en los sistemas de programación lógica, como la evaluación de acuerdo con la semántica bien fundada a través de la resolución de SLG total, el manejo de restricciones para los programas de presentación, una implementación de la unificación y las interfaces compiladas de HILOG Otros sistemas, como el paquete ODBC, C, Java, Perl y Oraclethis, implementa una interfaz bidireccional a XSB, eso significa que PERL puede llamar XSB que puede llamar a PERL Atrás que puede volver a llamar XSB, etc.: Perl -> XSB -> Perl -> XSB -> ... (Desafortunadamente, tiene que comenzar desde Perl, XSB-> Perl -> ... no es posible). La interfaz a XSB se basa en los objetos creados por el idioma del paquete :: PROG: : Tipos. También puede usar Idioma :: PROLOG :: AZUGE PAQUETE, un extremo frontal para el paquete de tipos para mejorar el aspecto de su fuente (solo un poco de azúcar sintáctica). Para hacer preguntas a XSB, debe establecer primero el término de consulta con la función XSB_SET_QUERY, y luego use xsb_next y xsb_result para iterar sobre ella y obtener los resultados hacia atrás. Solo una consulta puede estar abierta en cualquier momento, a menos que cuando se llame a PERL de la XSB, pero luego la consulta anterior no está visible. Soquivements: · Perl Requisitos: · Perl

Idioma :: XSB Software relacionado