cond.lp
No OneTemporary
Actions

Subscribers

None

File Metadata

	person(jane). person(john).
	day(mon). day(tue). day(wed). day(thu). day(fri).
	available(jane) :- not on(fri).
	available(john) :- not on(mon), not on(wed).
	meet :- available(X) : person(X).
	on(X) : day(X) :- meet.