Espero haber llegado al lugar correcto ... es (probablemente) una pregunta de programación lógica bastante sencilla.
Si tengo dos cláusulas de la forma:
B:-A C:-A
puedo transformarlas en:
B,C:-A
( Editar: dónde B,C
es una conjunción. Estoy haciendo una evaluación de abajo hacia arriba y me es útil representar múltiples cláusulas con el mismo cuerpo usando una cláusula con una conjunción de los respectivos encabezados. Esto parece trivial, pero me pregunto si hay un nombre para tal transformación; sin embargo, sé que la cláusula resultante ya no es una cláusula Horn ) .
¿Alguien sabe si esta transformación tiene un nombre, y si es así, alguien puede proporcionar un puntero (preferiblemente en línea) a algún lugar que lo describa?
Muchas gracias (de un n00b).