Różnice między wybraną wersją a wersją aktualną.
| Nowa wersja | Poprzednia wersja | ||
|
pl:dydaktyka:krr:lab_termy [2013/03/13 07:18] gjn utworzono |
pl:dydaktyka:krr:lab_termy [2019/06/27 15:50] (aktualna) |
||
|---|---|---|---|
| Linia 73: | Linia 73: | ||
| * ''delta/4'' -- obliczający deltę, argumenty kolejno: a, b, c, wynik, | * ''delta/4'' -- obliczający deltę, argumenty kolejno: a, b, c, wynik, | ||
| * ''kwadrat/4'' -- obliczający wynik równania kwadratowego, argumenty kolejno: a, b, c, wynik. | * ''kwadrat/4'' -- obliczający wynik równania kwadratowego, argumenty kolejno: a, b, c, wynik. | ||
| - | Zwróć uwagę na niedeterminizm w predykacie ''kwadrat/4'', który znajduje zero, jedno, albo dwa rozwiązania; mogą się przydać [[http://www.swi-prolog.org/pldoc/doc_for?object=section%282%2c%20%274.25%27%2c%20swi%28%27%2fdoc%2fManual%2farith.html%27%29%29|funkcje matematyczne]]. | + | Zwróć uwagę na niedeterminizm w predykacie ''kwadrat/4'', który znajduje zero, jedno, albo dwa rozwiązania; mogą się przydać [[http://www.swi-prolog.org/pldoc/man?section=funcsummary|funkcje arytmetyczne]]. |
| ===== Termy ===== | ===== Termy ===== | ||
| Linia 91: | Linia 91: | ||
| ?- a(b)=a(c). | ?- a(b)=a(c). | ||
| ?- a(b)=a(C). | ?- a(b)=a(C). | ||
| + | ?- a(C)=a(b). | ||
| ?- a(C)=a(C). | ?- a(C)=a(C). | ||
| ?- C=a. | ?- C=a. | ||
| Linia 145: | Linia 146: | ||
| Program używa prawie tylko mechanizmów które znasz (pojawiają się listy, ale "niegroźnie"). | Program używa prawie tylko mechanizmów które znasz (pojawiają się listy, ale "niegroźnie"). | ||
| + | |||
| + | Przeanalizuj przykłady [[http://www.amzi.com/AdventureInProlog/a10unif.php|unifikacji]]. | ||
| ===== Materiały ===== | ===== Materiały ===== | ||
