SDA SE Wiki

ast_node_term(?NodeType, ?Lang, ?Term) is nondet

• The node type arg1 is defined in the AST of the language arg2

and is represented by terms that are unifiable with arg2. This predicate either

       checks its input or enumerates most general instances of all the legal AST node terms.

• Example: ast_node_term(classDefT,'Java',Term) unifies Term with classDefT(A,B,C,D)