You are an apprentice at Hyperlogitech Corp. The first thing you learn is every department at Hyperlogitech Corp. has two managers, one of the managers is a Knight, and the other is a Liar.
At the first board meeting you attend you ask the managers which department they work for. The responses are as follows:
Fiona: None of Alice, Carol and Eddy are in production.
Alice: Carol is in accounting.
Carol: Eddy and I are in the same department.
Bert: Dave is the Liar from accounting.
Carol: Fiona is in accounting.
Dave: At most one of Alice, Carol and Eddy is a liar.
Eddy: Bert and I are in different departments.
Alice: Fiona is in shipping.
Which managers are in charge of which departments and who are the knights and who are the liars?
[manager(alice, accounting, knight), manager(bert, shipping, liar), manager(carol, accounting, liar), manager(dave, production, liar), manager(eddie, production, knight), manager(fiona, shipping, knight)]
Prolog Solution
