org.projog.core.term

Class ListFactory

java.lang.Object

org.projog.core.term.ListFactory

public final class ListFactory
extends Object

Static factory methods for creating new instances of List.

See Also:

List, ListUtils

Field Summary

Fields

Modifier and Type	Field and Description
static String	LIST_PREDICATE_NAME A "." is the functor name for all lists in Prolog.

Method Summary

Modifier and Type	Method and Description
static Term	createList(Collection<? extends Term> terms) Returns a new List with the specified terms and a empty list as the final tail element.
static Term	createList(Term[] terms) Returns a new List with the specified terms and a empty list as the final tail element.
static Term	createList(Term[] terms, Term tail) Returns a new List with the specified terms and the second parameter as the tail element.
static List	createList(Term head, Term tail) Returns a new List with specified head and tail.
static Term	createListOfLength(int length) Returns a new list of the specified length where is each element is a variable.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

LIST_PREDICATE_NAME

public static final String LIST_PREDICATE_NAME

A "." is the functor name for all lists in Prolog.

See Also:

Constant Field Values

Method Detail

createList

public static List createList(Term head,
                              Term tail)

Returns a new List with specified head and tail.

Parameters:

head - the first argument in the list

tail - the second argument in the list

Returns:

a new List with specified head and tail

createList

public static Term createList(Collection<? extends Term> terms)

Returns a new List with the specified terms and a empty list as the final tail element.

Parameters:

terms - contents of the list

Returns:

a new List with the specified terms and a empty list as the final tail element

createList

public static Term createList(Term[] terms)

Returns a new List with the specified terms and a empty list as the final tail element.

By having a List with a List as its tail it is possible to represent an ordered sequence of the specified terms.

Parameters:

terms - contents of the list

Returns:

a new List with the specified terms and a empty list as the final tail element

createList

public static Term createList(Term[] terms,
                              Term tail)

Returns a new List with the specified terms and the second parameter as the tail element.

By having a List with a List as its tail it is possible to represent an ordered sequence of the specified terms.

Parameters:

terms - contents of the list

Returns:

a new List with the specified terms and the second parameter as the tail element

createListOfLength

public static Term createListOfLength(int length)

Returns a new list of the specified length where is each element is a variable.