public interface DisjunctiveImplicative extends Implicative
org.bomba_lang.proto.BodilesRule
or(Literal newAtom)
v(Literal newAtom)
getHead, implies
org.bomba_lang.proto.BodilesRule or(Literal newAtom)
org.bomba_lang.proto.BodilesRule v(Literal newAtom)
Copyright © 2013-2014. All Rights Reserved.