Sunteți pe pagina 1din 1

Satisfacerea clauzelor in Prolog

(Backtracking)

Presupunem ca programul nu contine


reguli, ci numai fapte

Presupunem ca avem un program ce


contine si reguli

S-ar putea să vă placă și