I hope I've come to the right place... it's (probably) a fairly straightforward Logic Programming question.
If I have two clauses of the form:
I can transform these into:
B,C is a conjunction. I'm doing bottom-up evaluation and it's useful to me to represent multiple clauses with the same body using one clause with a conjunction of the respective heads. This seems trivial, but I'm wondering if there's a name for such a transformation—however, I know that the resulting clause is no longer a Horn clause.)
Does anyone know if this transformation has a name, and if so, can anyone provide a pointer (preferably online) to somewhere that describes it.
Many thanks (from a n00b).