public class ListTermValue
Encapsulates the possible values for a DLV complex
list. A DLV complex list can be represented either as
(head|tail) where head is a single term and tail is a
Variable or a List, or it can be represented as [v1,...,vn]
describing an ordered sequence of n values.
The method usesHeadTailsSyntax() can be used to determine the
representation type of the ListTermValue.