Typy danych i unifikacja -

- podsumowanie

 

2

Typy danych

 (termów):

- 

liczbowe

- rzeczywiste: real
- całkowite: integer, short, long, ulong, byte itd.

- 

nieliczbowe

 (atomy)

- char
- symbol i string

- 

struktury zło

ż

one

: funktor(argumenty)

- listy

Zmienne

:

- pisane z du

ż

ej litery

- zmienna anonimowa _

 

3

Unifikacja

:

- 

stała = stała

- prawdziwe tylko wtedy, gdy obie stałe s

ą

 takie same

- 

zmienna = stała

- je

ś

li zmienna jest nieukonkretniona to warto

ść

 stałej zostaje

  podstawiona za zmienn

ą

 (ukonkretnia j

ą

)

- je

ś

li zmienna jest ukonkretniona to patrz stała = stała

- 

zmienna = zmienna

- je

ś

li jedna ze zmiennych jest nieukonkretniona a druga 

  ukonkretniona, to warto

ść

 tej ukonkretnionej zostaje

  podstawiona za zmienn

ą

 nieukonkretnion

ą

- je

ś

li obie zmienne s

ą

 ukonkretnione to patrz stała = stała

- je

ś

li obie zmienne s

ą

 nieukonkretnione, wtedy unifikacja

  powoduje, 

ż

e staj

ą

 si

ę

 synonimami

Listy

 

5

Lista

 – jednowymiarowa „tablica“ danych o dynamicznie 

  zmieniaj

ą

cym si

ę

 rozmiarze

Deklaracja list odbywa si

ę

 za pomoc

ą

 znaku specjalnego *:

domains

Lista = Typ_danej*

gdzie 

Typ_danej

 mo

ż

e by

ć

 jakimkolwiek prostym lub zło

ż

onym

typem (równie

ż

 list

ą

), np.

domains

Lista_Integerow = Integer*
Lista_List_Integerow = Lista_Integerow*

 

6

Lista

 składa si

ę

 z 

głowy

 i 

ogona

:

Lista = [Head|Tail]

Głowa

 (head) – to wyszczególniony pocz

ą

tkowy element (lub 

     pocz

ą

tkowe elementy) listy

Ogon

 (tail) – to lista pozostałych elementów

Ogon (jako list

ę

) mo

ż

na dalej dekomponowa

ć

:

Tail = [Tail_Head|Tail_Tail]

Szczególnym przypadkiem jest 

lista pusta

 

[]

, która nie daje si

ę

dalej dekomponowa

ć

 na głow

ę

 i ogon, ale sama mo

ż

e by

ć

 ogonem:

[Element] = [Element|[]]

Rekurencyjne przetwarzanie list -

- podsumowanie

 

8

regula([]):-

przetwarzanie_1([]).

regula([H|T]):-

przetwarzanie_2(H),
regula(T).

Przetwarzanie rekurencyjne 1 

Warunek startu / stopu

Rekurencja

Przerwij, gdy osi

ą

gniesz list

ę

 pust

ą

Przykłady: 

pisz_odwrotnie, dlugosc_listy, suma_listy, maximum1

 

9

regula(E,[E|_]):-

przetwarzanie_1.

regula(E,[H|T]):-

przetwarzanie_2,
regula(E,T).

Przetwarzanie rekurencyjne 2 

Warunek startu / stopu

Rekurencja

Przerwij, gdy osi

ą

gniesz okre

ś

lony element

Przykłady: 

element, pozycja1, usun_pierwszy

 

10

regula(1,E,[E|_].

regula(N,E,[H|T]):-

NN = N-1,
regula(NN,E,T).

Przetwarzanie rekurencyjne 3 

Warunek startu / stopu

Rekurencja

Przerwij, gdy osi

ą

gniesz okre

ś

lon

ą

 pozycj

ę

Przykłady: 

pozycja