Success: [eclipse]: [user]. a(1). a(1,2). a(1,2,3). user compiled 144 bytes in 0.00 seconds yes. [eclipse]: is_predicate(a/1). yes. [eclipse]: is_predicate(a/2). yes. [eclipse]: is_predicate(nl/0). yes. [eclipse]: is_predicate(a/2). yes. Fail: is_predicate(a/0). % Fails if a/0 is not a predicate Error: is_predicate(X). (Error 4). is_predicate(a/X). (Error 4). is_predicate(a). (Error 5). is_predicate(1). (Error 5).