Espero ter chegado ao lugar certo ... é (provavelmente) uma questão de Programação Lógica bastante direta.
Se eu tiver duas cláusulas do formulário:
B:-A C:-A
eu posso transformá-las em:
B,C:-A
( Editar: onde B,C
está uma conjunção. Estou fazendo uma avaliação de baixo para cima e é útil para mim representar várias cláusulas com o mesmo corpo usando uma cláusula com uma conjunção das respectivas cabeças. Isso parece trivial, mas estou me perguntando se existe um nome para essa transformação - no entanto, eu sei que a cláusula resultante não é mais uma cláusula de Horn. )
Alguém sabe se essa transformação tem um nome e, se houver, alguém pode fornecer um ponteiro (de preferência online) para algum lugar que a descreva.
Muito obrigado (de um n00b).
fonte