Standard libraryuniv_2Version: v15.0.0On this pageuniv/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.