Copyright (c) 1990−2000 University of Amsterdam.

Welcome to SWI−Prolog (Version 3.4.0)

Copy policy: GPL−2 (see www.gnu.org)

For help, use ?− help(Topic). or ?− apropos(Word).

?− [haiku].
% haiku compiled 0.02 sec, 6,140 bytes

Yes
?− append(X, Y, [1, 2]).

X = []
Y = [1, 2] ;

X = [1]
Y = [2] ;

X = [1, 2]
Y = [] ;

No
?− halt.

polecenie kompilacji pliku ’haiku.pl’

polecenie szukania kolejnego rozwiazania

zakonczenie pracy

przywitanie

zacheta do wpisania

pytania

odpowiedz twierdzaca

kolejne odpowiedzi

nie ma wiecej odpowiedzi

zadanie pytania

1 Uruchomienie i zako«czenie

Program Prolog znajduje si¦ w menu Start/ Programy/

Swi-Prolog. Prac¦ z systemem ko«czy si¦ wydaj¡c polece-

nie halt.

2 Pytania

Pytania maj¡ posta¢ warunków i wpisuje si¦ je po zach¦cie

?-. Ka»de pytanie musi by¢ zako«czone kropk¡.

Pytanie mo»e by¢ koniunkcj¡ W

1

, W

2

, . . . , W

n

lub alter-

natyw¡ W

1

; W

2

; . . . , W

n

prostych lub zªo»onych warunków

W

i

, dla i ≥ 2.

3 Unikacja

W odpowiedzi na pytanie T1 = T2 otrzymuje si¦ najbardziej

ogólny unikator termów T1 i T2.

4 Wyra»enia arytmetyczne

Warunek Term is Wyrazenie jest speªniony je±li warto±¢

wyra»enia Wyrazenie unikuje si¦ z termem Term (wszyst-

kie zmienne wyst¦puj¡ce w wyra»eniu musz¡ by¢ ukonkret-

nione i mie¢ warto±ci numeryczne).

4.1 Operacje arytmetyczne

+, -, *, /, mod, rem, //, >>, <<, \/, /\, xor,

\, **, ^

4.2 Funkcje arytmetyczne

abs, sign, round, integer, float, sqrt, log,

log10, exp, max, min, sin, cos, tan, asin, acos,

random, cputime

5 Operacje na listach

append/3, member/2, delete/3, select/3, nth0/3,

nth1/3, last/2, reverse/2, length/2, sort/2,

msort/2

6 Przetwarzanie odpowiedzi

6.1 Zebranie odpowiedzi

Wywoªanie findall(Term, Pytanie, Lista) tworzy list¦

Lista zªo»on¡ z przykªadów termu Term dla wszystkich

podstawie« b¦d¡cych odpowiedzi¡ na Pytanie.

6.2 Werykacja odpowiedzi

Wywoªanie forall(Pytanie, Warunek) sprawdza czy

wszystkie odpowiedzi na Pytanie speªniaj¡ zadany

Warunek.

7 Program

Program skªada si¦ z klauzul b¦d¡cych faktami lub regu-

ªami (ka»da klauzula musi ko«czy¢ si¦ kropk¡). Program w

pliku nazwa.pl kompiluje si¦ poleceniem [nazwa].

7.1 Fakt

p(T

1

, T

2

, . . . , T

n

).

7.2 Reguªa

p(T

1

, T

2

, . . . , T

n

)

: W arunek.