Required Prolog input:

employee$($ulysses$).$

employee$($bob$).$

employee$($zoey$).$

employee$($ximena$).$

employee$($jack$).$

employee$($harry$).$

employee$($mira$).$

employee$($erica$).$

employee$($tim$).$

employee$($peter$).$

employee$($larry$).$

employee$($ginny$).$

employee$($daniel$).$

employee$($yusuf$).$

employee$($ophelia$).$

employee$($frank$).$

employee$($walter$).$

employee$($charlie$).$

employee$($venessa$).$

employee$($sarah$).$

employee$($ryan$).$

employee$($quinn$).$

employee$($alice$).$

employee$($kimberly$).$

employee$($nick$).$

employee$($iris$).$

workstation$(1,2,4).$

workstation$(2,5,9).$

workstation$(3,1,1).$

workstation$\_$idle$(3,$morning$).$

avoid$\_$workstation$($ophelia$,3).$

avoid$\_$workstation$($ophelia$,1).$

avoid$\_$shift$($daniel$,$ night$).$

Seeking this output:

$?-$ plan$($Plan$).$

Plan $=$ plan$([$workstation$(1,[$ulysses$,$ bob$]),$ workstation$(2,[$zoey$,$ ximena, jack, harry, mira$])],[$workstation$(1,[$erica$,$ tim$]),$ workstation$(2,[$peter$,$ larry, ginny, daniel, yusuf$]),$ workstation$(3,[$frank$])],[$workstation$(1,[$walter$,$ charlie$]),$ workstation$(2,[$ophelia$,$ venessa, sarah, ryan, quinn$|...]),$ workstation$(3,[$iris$])])$ ;

Plan $=$ plan$([$workstation$(1,[$ulysses$,$ bob$]),$ workstation$(2,[$zoey$,$ ximena, jack, harry, mira$])],[$workstation$(1,[$erica$,$ tim$]),$ workstation$(2,[$peter$,$ larry, ginny, daniel, yusuf$]),$ workstation$(3,[$frank$])],[$workstation$(1,[$walter$,$ charlie, venessa$]),$ workstation$(2,[$ophelia$,$ sarah, ryan, quinn, alice$|...]),$ workstation$(3,[$iris$])])$ ;

Plan $=$ plan$([$workstation$(1,[$ulysses$,$ bob$]),$ workstation$(2,[$zoey$,$ ximena, jack, harry, mira$])],[$workstation$(1,[$erica$,$ tim$]),$ workstation$(2,[$peter$,$ larry, ginny, daniel, yusuf$]),$ workstation$(3,[$frank$])],[$workstation$(1,[$walter$,$ charlie, venessa, sarah$]),$ workstation$(2,[$ophelia$,$ ryan, quinn, alice, kimberly$|...]),$ workstation$(3,[$iris$])]).$

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

false.

$?-$ plan$($Plan$),$double$\_$work$($Plan$,\_).$

false.

$?-$ plan$($Plan$),$works$\_$at$($Plan$,\_,$ophelia,$1).$

false.

$?-$ plan$($Plan$),$works$\_$at$($Plan$,\_,$ophelia,$3).$

false.

$?-$ plan$($Plan$),$works$\_$at$($Plan$,$night,daniel,$\_).$

false.

$?-$ plan$($Plan$),$works$\_$at$($Plan$,$morning,$\_,3).$

false.