=../2

"univ": Defines the relationship between a term and a list

Term =.. List

?Term <term> or <variable>

?List <list> or <variable>

Compatibility: LPA Win-Prolog, Swindon Prolog, all decent Prologs!

Remarks: "List" is a list whose first element is the principal functor of the Term, and whose tail is the list of arguments of Term.

If the Term is an uninstantiated variable, then List must be instantiated to a list of determinate length. A compound term will be constructed from the list. The functor of the term will be the head of the list, while the arguments of the term will be the tail of the list. If Term is not a variable, then the corresponding list is constructed and unified with List.