priv.logic

国外的一套开源CRM

priv("jim", "operate", "sputter");
priv("jim", "operate", "implant");
priv("janie", "supervise", "sputter");
priv("rivki", "operate", "photo");
priv("bill", "supervise", "photo");

teammates(P1, P2) :-
    priv(P1, _, Machine),
    priv(P2, _, Machine),
    !=(P1, P2);