This shows you the differences between two versions of the page.
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 |
- | | + | |
* [[http:// | * [[http:// | ||
* [[https:// | * [[https:// | ||
- | + | - Domena: family relations | |
- | * Domena: family relations | + | * datoteka '' |
- | * famrel.pl | + | |
* graf relacij | * graf relacij | ||
* vozlišča → osebe (podan tudi spol) | * vozlišča → osebe (podan tudi spol) | ||
- | * starševstvo | + | * povezave → starševstvo |
- | + | | |
- | | + | |
* nalaganje datotek | * nalaganje datotek | ||
* poizvedbe | * poizvedbe | ||
- | * "male(john)." | + | * ''? |
* pika na koncu vsakega stavka! | * pika na koncu vsakega stavka! | ||
- | * "male(X)." | + | * '' |
* več odgovorov | * več odgovorov | ||
- | * n → next | + | * '' |
- | * ; → next (" | + | * '' |
- | * . → done | + | * '' |
- | * "parent(X, sally)." | + | * '' |
- | * "parent(tina, | + | * '' |
- | * "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! | + | * '' |
- | * "parent(X, X)." | + | |
- | + | * slaba rešitev: dodamo vsa dejstva | |
- | | + | |
- | * slaba rešitev: dodamo vsa dejstva | + | |
* dobra rešitev | * dobra rešitev | ||
- | * pomen simbolov | + | * pomen simbolov |