Literal Search Space
no_payment_due(Name) :- enlist(Name, A)
no_payment_due(Name) :- enlist(A, Name)
no_payment_due(Name) :- enlist(Name, Name)
no_payment_due(Name) :- armed_forces(Name)
no_payment_due(Name) :- enroll(Name, A,B)
no_payment_due(Name) :- enroll(Name, A,A)
no_payment_due(Name) :- enroll(Name, Name,A)
no_payment_due(Name) :- enroll(Name, A,Name)
no_payment_due(Name) :- enroll(A, Name,B)
no_payment_due(Name) :- enroll(A, Name,A)
no_payment_due(Name) :- enroll(A, Name,Name)
no_payment_due(Name) :- enroll(Name, Name,Name)