Prowadzący: dr inż Dariusz Banasiak
Kody w języku Prolog, które były omawiane na ćwiczeniach z przedmiotu sztuczna inteligencja.
Do testowania kodów został użyty SWI-Prolog.
Predykaty piszemy sobie w jakimś pliku z rozszerzeniem .pl
(jak do Perla), np. db.pl
.
Należy pamiętać:
- predykaty kończymy kropką
- rzeczy pisane małymi literami to stałe (
a
,piotr
etc.) - rzeczy pisane wielką literą to zmienne (
X
,Y
,Lista
)
Uruchamiamy Prologa wraz z nazwą naszego pliku z bazą wiedzy
$ swipl db.pl
I teraz możemy Prologowi zadawać pytania i on na podstawie bazy wiedzy będzie odpowiadał. Polecam mieć otwarte 2 okna obok siebie, w jednym mieć odpalonego Prologa w terminalu, a w drugim edytor tekstu z bazą wiedzy. Jeśli aktualizujemy bazę wiedzy, można ją ponownie wczytać bez potrzeby wychodzenia z Prologa za pomocą polecenia make.
. Aby wyjść z Prologa należy wpisać polecenie halt.
?- nalezy([1,2,3,4,5], 1).
true .
?- nalezy([1,2,3,4,5], 6).
false.
?- zlicz([1,2,3,1,4,1,5], 1, N).
N = 3.
?- usun([1,2,3,1,4,1,5], 1, L).
L = [2, 3, 4, 5].
?- ostatni([1,2,3,1,4,1,5], X).
X = 5 .
?- dodaj([1,2], [3,4,5], L).
L = [1, 2, 3, 4, 5].
?- odwroc([1,2,3,4,5], L).
L = [5, 4, 3, 2, 1].
?- halt.