predmeti:ppj:uvod_v_prolog
This is an old revision of the document!
Uvod v prolog
- Različne implementacija standardnega prologa
- SWI-Prolog, sicstus, gprolog, yap, quintus
- CodeQ (uporablja SWI-Prolog)
- Domena: family relations
- famrel.pl
- graf relacij
- vozlišča → osebe (podan tudi spol)
- 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 ( :- , ; . )
predmeti/ppj/uvod_v_prolog.1458580328.txt.gz · Last modified: 2016/03/21 18:12 by timotej
Except where otherwise noted, content on this wiki is licensed under the following license: Public Domain
