List define

Defining a list

Source: The Art of Prolog

Program source code: list_define.pl

/*
	list(Xs) :- Xs is a list.
*/
 
	list([]).
	list([X|Xs]) :- list(Xs).
 
%	Program 3.11: Defining a list