Success: [eclipse]: current_built_in(X/Y),!. X = findall Y = 3 yes. [eclipse]: current_built_in(X). X = findall / 3 More? (;) X = ! / 0 More? (;) X = delayed_goals / 1 More? (;) X = delayed_goals / 2 More? (;) % type <cr> yes. Fail: current_built_in(assertz/1). current_built_in(reverse/2). [eclipse]: [user]. p. user compiled 28 bytes in 0.00 seconds yes. [eclipse]: get_flag(p/0, type, T). T = user yes. [eclipse]: current_built_in(p/0). no. Error: current_built_in(a/a). (Error 5).