HiLog

HiLog es una lógica de programación con sintaxis de orden superior, que permite que aparezcan términos arbitrarios en posiciones de predicados y funciones. ^{[ 1 ]} Sin embargo, la teoría de modelos de HiLog es de primer orden. Aunque sintácticamente HiLog extiende estrictamente la lógica de primer orden , puede integrarse en ella.

HiLog se describió por primera vez en 1989. ^{[ 2 ]} Posteriormente se extendió en la dirección de la lógica de múltiples tipos . ^{[ 3 ]}

El sistema XSB analiza la sintaxis de HiLog, pero la integración de HiLog en XSB es solo parcial. En concreto, HiLog no está integrado en el sistema de módulos XSB. Una implementación completa de HiLog está disponible en el sistema Flora-2 .

Se ha demostrado que HiLog puede integrarse en la lógica de primer orden mediante una transformación bastante simple. ^{[ 1 ]} Por ejemplo, p(X)(Y,Z(V)(W))se integra como el siguiente término de primer orden: apply(p(X),Y,apply(apply(Z,V),W)). ^{[ 1 ]}

El marco para dialectos basados ​​en lógica (RIF-FLD) del formato de intercambio de reglas (RIF) se basa en gran medida en las ideas subyacentes a HiLog y F-logic . ^{[ 4 ]}

En todos los ejemplos siguientes, los símbolos en mayúscula denotan variables y la coma denota conjunción lógica , como en la mayoría de los lenguajes de programación lógica . El primer y el segundo ejemplo muestran que las variables pueden aparecer en posiciones de predicado. Los predicados pueden incluso ser términos complejos, como closure(P)o maplist(F)a continuación. El tercer ejemplo muestra que las variables también pueden aparecer en lugar de fórmulas atómicas, mientras que el cuarto ejemplo ilustra el uso de variables en lugar de símbolos de función. El primer ejemplo define un operador de cierre transitivo genérico , que se puede aplicar a un predicado binario arbitrario. El segundo ejemplo es similar. Define un operador de mapeo tipo LISP , que se aplica a un predicado binario arbitrario. El tercer ejemplo muestra que el metapredicado de Prologcall/1 se puede expresar en HiLog de forma natural y sin el uso de características extralógicas. El último ejemplo define un predicado que recorre árboles binarios arbitrarios representados como términos de primer orden .

cierre ( P )( X , Y ) <- P ( X , Y ). cierre ( P )( X , Y ) <- P ( X , Z ), cierre ( P )( Z , Y ).lista de mapas ( F )([],[]). lista de mapas ( F )([ X | R ],[ Y | Z ]) <- F ( X , Y ), lista de mapas ( F )( R , Z ).llamar ( X ) <- X .atravesar ( X ( L , R )) <- atravesar ( L ), atravesar ( R ).

• Ross, Kenneth A. (enero de 1994). "Sobre la negación en HiLog". Journal of Logic Programming . 18 (1): 27– 53. doi : 10.1016/0743-1066(94)90040-X .
• Bruijn, Jos; Heymans, Stijn (enero de 2008). "Sobre la relación entre ontologías basadas en lógica de descripción y basadas en lógica F" . Fundamentos de la informática . 82 (3): 213-236 .