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?

Reply via email to