Rez & negacija

  1. Rez (!)
    • preprečuje vračanje (backtracking)
    • primer
      • parent(thomas, X), parent(X, Y)
      • parent(thomas, X), parent(X, Y), !
      • parent(thomas, X), !, parent(X, Y)
      • !, parent(thomas, X), parent(X, Y)
    • v min/2 uporabimo rez, da se izognemo pogoju v drugi rekurzivni veji
    • skupaj naredimo count/3
  2. Negacija
    • negacija kot neuspeh (negation-as-failure)
    • not(P) :- P, !, fail ; true.
    • uporabimo lahko tudi operator \+
    • predpostavka zaprtega sveta (closed-world assumption)
      • not(female(xy))
    • spremenljivke pod negacijo ne dobijo vrednosti
      • \+ female(X), parent(thomas, X)
      • parent(thomas, X), \+ female(X)
  3. Naloge
    • union(A, B, U)
      • U = A ∪ B
    • intersect(A, B, I)
      • I = A ∩ B
    • diff(A, B, D)
      • D = A - B
    • is_superset/2
      • A ⊇ B
    • is_subset(A, B)
      • A ⊆ B
    • subset/2
      • generiraj vse podmnožice
    • powerset/2
      • razloži findall/3