predmeti:ppj:uvod_v_prolog
Uvod v prolog
- Različne implementacija standardnega prologa
- SWI-Prolog, sicstus, gprolog, yap, quintus
- 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.
predmeti/ppj/uvod_v_prolog.txt · Last modified: 2016/04/12 11:56 by timotej
Except where otherwise noted, content on this wiki is licensed under the following license: Public Domain
