SDA SE Wiki

ast_relation_signature(?Language, ?Functor, ?Arity) is nondet

• The nodes in the Abstract Syntax Tree (AST) representation

of the language arg1 are linked by relatioins with name (functor)

   arg2 and arity arg3. Unlike AST nodes, relation facts do not have 
   own identities. They always refer to the identities of nodes, linking
   them or adding additional attributes. For instance, in factbases representing
   Java programs, the extension of a class by another class is represented 
   by a binary relation ''extends(Subclass, Superclass)''.