7/21/2019 Prolog Lab 2

1/1

Conditia:

S se defineasc predicatul div1(A,B,Rez) care calculeaz cu ajutorul recursiei parteantreag de la mprirea unui numr natural la altul.

Programul:

domains

i=integer

predicates

div1(i,i,i)

clauses

div1(0,B,R):-R=0,!.

div1(A,B,R):-A>0,A1=A-1,R=A1 div1 B.

Executia programului:

Comentariu:

In programul dat la compartimentul DOMAINS a fost definit o singura variaila !i" de tipinteger. #a compartimentul $#A%S&S au fost definite predicatele ce au fost anteriordeclarate in compartimentul '(&DI$A)&S.

*+div*,-/(+ne arata ca orice numar impartit la zero otinem rezulatul zero.0+div*,A/(+cu ajutorul acestei reguli la impartirea a doua numere vom otine ca rezultatdoar partea intreaga .