Różnice między wybraną wersją a wersją aktualną.
| Both sides previous revision Poprzednia wersja | |||
|
pl:prolog:prolog_lab:constraint_satisfaction_problems [2015/03/22 13:07] kkr |
pl:prolog:prolog_lab:constraint_satisfaction_problems [2015/03/23 12:49] kkr [9 Zadania fakultatywne] |
||
|---|---|---|---|
| Linia 351: | Linia 351: | ||
| % checks if imposed inequalities hold for given variables | % checks if imposed inequalities hold for given variables | ||
| checkMe(_, []). | checkMe(_, []). | ||
| - | checkMe(FVars, [[student:staze2012:v1n_v2n|T]) :- | + | checkMe(FVars, [[V1n,V2n]|T]) :- |
| nth1(V1n, FVars, V1), | nth1(V1n, FVars, V1), | ||
| nth1(V2n, FVars, V2), | nth1(V2n, FVars, V2), | ||
