Motor de reglas de cláusulas de bocina
Encadenamiento hacia adelante sobre hechos estilo Prolog y reglas de Horn; consultar objetivos e inspeccionar seguimientos de derivación.
Acerca de esta herramienta
Introduzca hechos y reglas de Horn positivas y pruebe un objetivo o deduzca todas las consecuencias. Un hecho o una regla por línea; el punto final es opcional. Se ignoran las líneas vacías o que empiezan por #.
Ejemplo: parent(bob,ann). Las variables empiezan por mayúscula o guion bajo: ancestor(X,Z) :- parent(X,Y), ancestor(Y,Z). Cada _ es independiente. Los nombres distinguen mayúsculas y minúsculas; constantes y predicados empiezan por minúscula. No se admiten funciones, constantes numéricas o entre comillas, aritmética ni negación. Los hechos no contienen variables; cada variable de la cabeza debe aparecer en el cuerpo.
Los objetivos pueden contener variables: ancestor(dora,X) muestra los hechos coincidentes. No probado indica que no se deduce una respuesta de esta base, sin afirmar que el objetivo sea falso en la realidad. La traza muestra la primera deducción de cada hecho nuevo, sus premisas concretas y la ronda. Los hechos conocidos no crean otra fila. Despliegue los hechos conocidos para ver el conjunto completo.
Demostración Datalog en el navegador: 12.000 caracteres por campo, 300 líneas de hechos, 100 reglas, 8 argumentos por átomo y 12 premisas por regla. Se detiene tras 200 rondas, 1.000 hechos conocidos o 50.000 comparaciones de candidatos. Las deducciones parciales son válidas; las respuestas ausentes siguen sin decidirse.
Solo se conservan los valores introducidos en este navegador. No se guardan los resultados calculados ni los historiales.