Różnice
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 [2015/03/23 12:49] kkr [9 Zadania fakultatywne] |
| |
//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]]. |
| |
% 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), |