Uvod v prolog

  1. Različne implementacija standardnega prologa
  2. Domena: family relations
    • datoteka famrel.pl
    • graf relacij
      • vozlišča → osebe (podan tudi spol)
      • povezave → starševstvo
  3. Osnove SWI-Prologa
    • nalaganje datotek
    • poizvedbe
      • ?- male(john).
        • pika na koncu vsakega stavka!
      • male(X)
        • več odgovorov
          • n → next
          • ; → next (“ali”)
          • . → done
      • parent(X, sally)
      • parent(tina, X)
      • parent(X, Y)
        • večina argumentov lahko deluje v vlogi vhoda ali izhoda - to so predikati, ne funkcije!
      • parent(X, X)
  4. Prvi program: mother/2
    • slaba rešitev: dodamo vsa dejstva mother(tina, jerry)
    • dobra rešitev
      • pomen simbolov :-, ,, ; in .