Which is more efficient:
(DOMAIN::planned-process (host-id ?host) (id ?pid) (plan ?plan))
(not (DOMAIN::host-association (host ?host)))
(not (DOMAIN::decommission-process (process ?pid)))
or
(not (DOMAIN::host-association (host ?host)))
(not (DOMAIN::decommission-process (process ?pid)))
(DOMAIN::planned-process (host-id ?host) (id ?pid) (plan ?plan))
Assuming that there are a large number of DOMAIN::planned-process
facts in the system. Are they essentially equivalent?
Also, in general, is it more efficient to put the NOTs before or after
in rule forms such as the above?