https://forum.sources.ru Форум на Исходниках.RU Форум на Исходниках.RU https://forum.sources.ru/index.php?showtopic=383369&view=findpost&p=3372296 Sat, 02 Nov 2013 19:21:00 +0000 https://forum.sources.ru/index.php?showtopic=383369&view=findpost&p=3372296
(prolog 5.2)


/****************LISTS************** *****/
DOMAINS
x=integer
l_x=x*

PREDICATES
segment(x,l_x)
generate(x,x,l_x)


CLAUSES
generate(N,N,[N]).
generate(M,N,[M|T]):-
M<N,
M1=M+1,
generate(M1,N,T).


segment(N,L):-
generate(0,N,L).



goal
%segment(2,[0,1,2]).
segment(4,L).]]> Агния Prolog