Różnice między wybraną wersją a wersją aktualną.
| Both sides previous revision Poprzednia wersja Nowa wersja | Poprzednia wersja | ||
|
pl:prolog:prolog_lab:constraint_satisfaction_problems [2015/03/22 12:56] kkr |
pl:prolog:prolog_lab:constraint_satisfaction_problems [2019/06/27 15:50] (aktualna) |
||
|---|---|---|---|
| Linia 5: | Linia 5: | ||
| //Based on [[http://www.cs.toronto.edu/~hector/|Hector's Levesque]] [[http://mitpress.mit.edu/catalog/item/default.asp?ttype=2&tid=12818|Thinking as Computation]]//. | //Based on [[http://www.cs.toronto.edu/~hector/|Hector's Levesque]] [[http://mitpress.mit.edu/catalog/item/default.asp?ttype=2&tid=12818|Thinking as Computation]]//. | ||
| - | |||
| Celem ćwiczenia jest wprowadzenie do tematyki CSP i zapoznanie się z możliwościami wykorzystania Prologu do rozwiązywania zadań z ograniczeniami. | Celem ćwiczenia jest wprowadzenie do tematyki CSP i zapoznanie się z możliwościami wykorzystania Prologu do rozwiązywania zadań z ograniczeniami. | ||
| + | ==== - Do przygotowania ==== | ||
| Wprowadzeniem teoretycznym jest [[http://www.cs.toronto.edu/~hector/PublicTCSlides.pdf|rozdział 5. w.w. książki: ss. 98-151]]. | Wprowadzeniem teoretycznym jest [[http://www.cs.toronto.edu/~hector/PublicTCSlides.pdf|rozdział 5. w.w. książki: ss. 98-151]]. | ||
| 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), | ||
