A.I.lab

This page is read only. You can view the source, but not change it. Ask your administrator if you think this is wrong.

====== Uvod v prolog ======

  - Različne implementacija standardnega prologa
    * [[http://www.swi-prolog.org|SWI-Prolog]], sicstus, gprolog, yap, quintus
    * [[https://codeq.si|CodeQ]] (uporablja SWI-Prolog)
  - Domena: family relations
    * datoteka ''famrel.pl''
    * graf relacij
      * vozlišča → osebe (podan tudi spol)
      * povezave → starševstvo
  - 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)''
  - Prvi program: ''mother/2''
    * slaba rešitev: dodamo vsa dejstva ''mother(tina, jerry)''
    * dobra rešitev
      * pomen simbolov '':-'', '','', '';'' in ''.''

A.I.lab

User Tools

Site Tools

Page Tools