User Tools

Site Tools


predmeti:ppj:uvod_v_prolog

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Next revision
Previous revision
predmeti:ppj:uvod_v_prolog [2016/03/16 21:32]
timotej created
predmeti:ppj:uvod_v_prolog [2016/04/12 11:56] (current)
timotej
Line 1: Line 1:
-==== Uvod v prolog ====+====== Uvod v prolog ======
  
-  Različne implementacija standardnega prologa+  Različne implementacija standardnega prologa
     * [[http://www.swi-prolog.org|SWI-Prolog]], sicstus, gprolog, yap, quintus     * [[http://www.swi-prolog.org|SWI-Prolog]], sicstus, gprolog, yap, quintus
     * [[https://codeq.si|CodeQ]] (uporablja SWI-Prolog)     * [[https://codeq.si|CodeQ]] (uporablja SWI-Prolog)
- +  - Domena: family relations 
-  * Domena: family relations +    * datoteka ''famrel.pl''
-    * famrel.pl+
     * graf relacij     * graf relacij
       * vozlišča → osebe (podan tudi spol)       * vozlišča → osebe (podan tudi spol)
-      * starševstvo +      * povezave → starševstvo 
- +  Osnove SWI-Prologa
-  Osnove SWI-Prologa+
     * nalaganje datotek     * nalaganje datotek
     * poizvedbe     * poizvedbe
-      * "male(john)."+      * ''?male(john).''
         * pika na koncu vsakega stavka!         * pika na koncu vsakega stavka!
-      * "male(X)."+      * ''male(X)''
         * več odgovorov         * več odgovorov
-          * n → next +          * ''n'' → next 
-          * ; → next ("ali"+          * '';'' → next ("ali"
-          * . → done +          * ''.'' → done 
-      * "parent(X, sally)." +      * ''parent(X, sally)'' 
-      * "parent(tina, X)." +      * ''parent(tina, X)'' 
-      * "parent(X, Y)." +      * ''parent(X, Y)'' 
-        * večina argumentov lahko deluje v vlogi vhoda ali izhoda +        * večina argumentov lahko deluje v vlogi vhoda ali izhoda to so predikati, ne funkcije! 
-        * to so predikati, ne funkcije! +      * ''parent(X, X)'' 
-      * "parent(X, X)." +  Prvi program: ''mother/2'' 
- +    * slaba rešitev: dodamo vsa dejstva ''mother(tina, jerry)''
-  Prvi program: mother/2 +
-    * slaba rešitev: dodamo vsa dejstva "mother(tina, jerry)"+
     * dobra rešitev     * dobra rešitev
-      * pomen simbolov :- , ; . )+      * pomen simbolov '':-'''','', '';'' in ''.''
  
predmeti/ppj/uvod_v_prolog.1458160340.txt.gz · Last modified: 2016/03/16 21:32 by timotej