✎ pp:lplcut [books]

This page is read only. You can view the source, but not change it. Ask your administrator if you think this is wrong.
===== TODO =====

Scopul laboratorului:

  - TODO
  - TODO

==== Cut ====

=== Green cut ===

=== Red cut ===

==== Negation as failure ====

==== Colectare rezultate ====

Fie următoarea bază de cunoștiințe genealogice:

<code prolog>
% File: norse.pl
father(buri, borr).
father(borr, odin).
father(borr, vili).
father(borr, ve).
father(odin, thor).
father(odin, baldr).

mother(bestla, odin).
mother(bestla, vili).
mother(bestla, ve).
mother(jorth, thor).
mother(frigg, baldr).
</code>

Putem defini ușor un predicat pentru a determina relația părinte-copil:

<code prolog>
parent(P, C) :- mother(P, C).
parent(P, C) :- father(P, C).
</code>

După cum ați observat până acum, predicatul definit e versatil; poate fi folosit pentru a verifica o relație, pentru a determina părinții unei persoane, pentru a determina copiii unei persoane, sau pentru a genera toate perechile părinte-copil din baza de cunoștiințe:

<code>
?- parent(odin, thor).
true.

?- parent(buri, odin).
false.

?- parent(borr, C).
C = odin ;
C = vili ;
C = ve.

?-
</code>

Pentru ultima interogare, există mai multe posibilități de unificare a variabilei ''C'', iar prolog ni le oferă pe rând (introducând '';'' interactiv, primim următoarea soluție). Uneori, este util să putem colecta toate aceste soluții într-o listă pe care putem, ulterior, face alte procesări. În continuare, vom studia trei predicate pentru a realiza acest lucru.

=== findall ===

[[http://www.swi-prolog.org/pldoc/man?predicate=findall/3|findall/3]] este un predicat care primește un tipar de rezultate, un goal de demonstrat și o listă de ieșire care va conține toate rezultatele construite pe baza tiparului, pentru care goal-ul primit este adevărat. Cel mai simplu tipar util este o singură variabilă, care se regăsește în scopul primit.

<code>
?- findall(C, parent(borr, C), L).
L = [odin, vili, ve].

?-
</code>

Dacă nu există niciun rezultat, ''findall'' generează o listă vidă:

<code>
?- findall(C, parent(baldr, C), L).
L = [].

?-
</code>

Deasemenea primul argument poate fi un termen compus:

<code>
?- findall(child(C, borr), parent(borr, C), L).
L = [child(odin, borr), child(vili, borr), child(ve, borr)].

?-
</code>

=== bagof ===

[[http://www.swi-prolog.org/pldoc/man?predicate=bagof/3|bagof/3]] este un predicat asemănător cu ''findall'', având aceeași semnificație a parametrilor. Diferența dintre cele două este vizibilă atunci când introducem o variabilă în goal, care nu apare în template. 

<code prolog>
?- findall(C, parent(P, C), L).
L = [odin, vili, ve, thor, baldr, borr, odin, vili, ve|...].

?-
</code>

Observăm că ''findall'' ne întoarce o singură listă cu toate rezultatele posibile. În unele cazuri, ar fi util ca, pentru fiecare părinte ''P'', să primim o altă listă. Pentru asta folosim ''bagof'':

<code prolog>
?- bagof(C, parent(P, C), L).
P = bestla,
L = [odin, vili, ve] ;
P = borr,
L = [odin, vili, ve] ;
P = buri,
L = [borr] ;
P = frigg,
L = [baldr] ;
P = jorth,
L = [thor] ;
P = odin,
L = [thor, baldr].

?-
</code>

Rezultatele sunt generate în stilul clasic, necesitând '';'' interactiv. Putem apoi să le colectăm folosind din nou ''bagof'':

<code>
?- bagof(children(P, L), bagof(C, parent(P, C), L), R).
R = [children(bestla, [odin, vili, ve]), children(borr, [odin, vili, ve]), children(buri, [borr]), children(frigg, [baldr]), children(jorth, [thor]), children(odin, [thor, baldr])].

?-
</code>

<note>
În ultima interogare, nu contează dacă predicatul folosit în exterior este ''bagof'' sau ''findall''. Goal-ul de demonstrat (''bagof(C, parent(P, C), L)'') nu conține variabile "din afară".
</note>

=== setof ===

==== Exerciții ====

==== Recommended Reading ====