Proceduralni jezici - FESB

Logički programski jezici
Prolog je logički programski jezik. U njemu korisnik zapisuje:
o činjenice i
o što program treba obaviti,
o a ne zapisuje se postupak kojim se izvršava program
Ne koristi se klasična kontrola tijeka programa.
Primjer:
inOrder( [] ).
inOrder( [ _ ] ).
inOrder([a,b|c]) :- (a < b),
inOrder([b|c]).
Ovo je kompletni program, kojim se odreĎuje da li je lista ureĎena.
Primjetite da nema deklaracija, varijabli i eksplicitno zadanih petlji.
17