SDA SE WikiSoftware Engineering for Smart Data Analytics & Smart Data Analytics for Software Engineering
ast_relation_term(?RelType, ?Lang, ?Term) is nondet
This predicate either checks its input or enumerates most general instances of all the legal AST node terms.