NEW: Interpreter now works with Prolog Disjunctions.