Success: [eclipse]: assert(p). yes. [eclipse]: is_dynamic(p/0). yes. Error: is_dynamic(X). (Error 4). is_dynamic(a). (Error 5). is_dynamic(y/0). (Error 60).