Success: [eclipse]: current_predicate(X/Y). X = intersection Y = 3 More? (;) yes. [eclipse]: current_predicate(X). X = (^) / 2 More? (;) X = intersection / 3 More? (;) X = subtract / 3 More? (;) X = append / 3 More? (;) yes. [eclipse]: [user]. p. user compiled 28 bytes in 0.00 seconds yes. [eclipse]: current_predicate(p/0). yes. Fail: current_predicate(assert/1). Error: current_predicate(a/a). (Error 5).