Skip to main content
Version: Next

univ/2

Description​

univ/2 is a predicate that converts between a term and a list representation.

Signature​

=..(+Term, ?List)

Where:

  • Term is a compound term.
  • List is a list where the first element is the functor and the rest are the arguments.