Allow conjunctions in heads
Issue #503
new
There is no reason not to allow P & Q <- phi, since it's semantically equivalent to P <- phi & Q <- phi.
Comments (5)
-
-
reporter
Told the same to Neline (who would have used the feature).
So, what's \foidplus's semantics?
-
Semantics is indeed splitting into rules P<-\phi and Q<-\phi
;-)
-
Mag van mij meteen worden toegevoegd. Dan kan er iemand papers beginnen schrijven over de semantiek van IDP ^^
-
Dat is al geimplementeerd.
Wie het wil gebruiken https://bitbucket.org/krr/idp/commits/branch/complex_regit2
Ik geef de volgende garanties over correctheid en volledigheid van de code:
- Log in to comment
Whether it is semantically equivalent to something else requires you te define a semantics first :p
Conjunctions in the head are a part of \foidplus ;-)