Prolog Multi-List Program
domains numlist = integer* multilist = numlist* predicates start go(multilist) clauses start:- go(List), write(List). go(List):- X=[1,2,3], Y=[4,5,6], List=[X,Y].