inputsimplified.pl :

employee$($alice$).$

employee$($bob$).$

employee$($charlie$).$

employee$($daniel$).$

employee$($erica$).$

employee$($frank$).$

workstation$($place$\_$lights, $1,3).$

workstation$($decorate$\_$place, $1,3).$

workstation$($manage$\_$place,$1,3).$

avoid$\_$workstation$($bob$,$place$\_$lights$).$

avoid$\_$workstation$(\_,\_)$ :$-$ fail.

workstation$\_$idle$(\_,$evening$).$

workstation$\_$idle$(\_,$night$).$

avoid$\_$shift$(\_,\_)$ :$-$ fail.

testing.pl:

$\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%$

$\%$ testing.pl

$\%$

$\%$ Some predicates you can use to test the result of your project.

$\%$ When querying plan$/1,$ you can include one of the predicates below as a goal.

$\%$

$\%?-$ plan$($Plan$),$ no$\_$work$($Plan$,$Person$).$

$\%$

$\%$ This will succeed if you successfully generate a plan, but there is someone

$\%$ that has not been assigned to a workstation.

works$\_$at$([],\_,\_)$ :$-$ fail.

works$\_$at$([$workstation$($Station$,$ Workers$)|\_],$ Worker, Station$)$ :$-$

member$($Worker$,$ Workers$),!.$

works$\_$at$([\_|$T$],$ Worker, Station$)$ :$-$

works$\_$at$($T$,$ Worker, Station$).$

$\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%$

$\%$ works$\_$at$($Plan$,$ Shift, Worker, Station$)$

$\%$

$\%$ succeeds if Worker is assigned to

$\%$ Station during Shift.

works$\_$at$($plan$($Morning$,\_,\_),$ morning, Worker, Station$)$ :$-$

works$\_$at$($Morning$,$ Worker, Station$).$

works$\_$at$($plan$(\_,$Evening,$\_),$ evening, Worker, Station$)$ :$-$

works$\_$at$($Evening$,$ Worker, Station$).$

works$\_$at$($plan$(\_,\_,$Night$),$ night, Worker, Station$)$ :$-$

works$\_$at$($Night$,$ Worker, Station$).$

$\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%$

$\%$ has$\_$work$($Plan$,$ Worker$)$

$\%$

$\%$ Succeeds if Worker is assigned to

$\%$ a workstation during some shift.

has$\_$work$($plan$($Morning$,\_,\_),$ Worker$)$ :$-$

works$\_$at$($Morning$,$ Worker, $\_).$

has$\_$work$($plan$(\_,$Evening,$\_),$ Worker$)$ :$-$

works$\_$at$($Evening$,$ Worker, $\_).$

has$\_$work$($plan$(\_,\_,$Night$),$ Worker$)$ :$-$

works$\_$at$($Night$,$ Worker, $\_).$

$\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%$

$\%$ no$\_$work$($Plan$,$ Worker$)$

$\%$

$\%$ Succeeds if Worker is not assigned

$\%$ to any workstation.

no$\_$work$($Plan$,$ Worker$)$ :$-$

employee$($Worker$),$

$\backslash +$ has$\_$work$($Plan$,$ Worker$).$

$\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%\%$

$\%$ double$\_$work$($Plan$,$ Worker$)$

$\%$

$\%$ Succeeds if Worker is assigned to

$\%$ more than one workstation or shift.

double$\_$work$($Plan$,$ Worker$)$ :$-$

employee$($Worker$),$

works$\_$at$($Plan$,$ Shift$1,$ Worker, Station$1),$

works$\_$at$($Plan$,$ Shift$2,$ Worker, Station$2),$

different$\_$work$($Shift$1,$Shift$2,$Station$1,$Station$2).$

different$\_$work$($Shift$1,$Shift$2,\_,\_)$ :$-$ Shift$1\backslash =$ Shift$2.$

different$\_$work$(\_,\_,$Station$1,$Station$2)$ :$-$ Station$1\backslash =$ Station$2.$