SyntaxFix
Write A Post
Hire A Developer
Questions
Just another viewpoint. Performing an "or" in Prolog can also be done with the "disjunct" operator or semi-colon:
registered(X, Y) :- X = ct101; X = ct102; X = ct103.
For a fuller explanation:
Predicate control in Prolog