Наши проекты:
Журнал · Discuz!ML · Wiki · DRKB · Помощь проекту |
||
ПРАВИЛА | FAQ | Помощь | Поиск | Участники | Календарь | Избранное | RSS |
[3.21.12.194] |
|
Сообщ.
#1
,
|
|
|
Разработать правила для предиката, реализовать указанную цель на прологе(5.2)
Всем привет! У меня версия пролог 5.2 и задание состоит в том, чтобы к нижеприведенной задаче добавить предикат sublist( SubL,L ), здесь SubL,L списки. Предикат истеннен если: список SubL является подсписком списка L. Пример: [s,d,s],[a,s],[d,s,f],[ ], [a,s,d,s,f] – подсписки [a,s,d,s,f] (не все). Цель – sublist ( SL, [a,s,d,f] ). /****************LISTS*******************/ DOMAINS p=string x=integer l_p=p* l_x=x* PREDICATES member(p,l_p) delete(p,l_p,l_p) append(l_p,l_p,l_p) reverse(l_p,l_p) reverse(l_p,l_p,l_p) print_list(l_p) generate(x,x,l_x) CLAUSES member(X,[X|_]). member(X,[_|L]):- member(X,L). delete(A,[A|L],L). delete(A,[B|L],[B|L1]):- delete(A,L,L1). append([],L,L). append([A|L],L1,[A|L2]):- append(L,L1,L2). reverse([],[]). reverse([A|L],L1):- reverse(L,L2), append(L2,[A],L1). reverse([],L,L). reverse([A|L],L1,L2):- reverse(L,[A|L1],L2). print_list([]). print_list([A|L]):- write(A),nl, print_list(L). generate(N,N,[N]). generate(M,N,[M|T]):- M<N, M1=M+1, generate(M1,N,T). |