Форум на Исходниках.RU

Форум на Исходниках.RU https://forum.sources.ru Форум на Исходниках.RU Форум на Исходниках.RU https://forum.sources.ru/index.php?showtopic=1889&view=findpost&p=3507977 Sat, 02 Aug 2014 17:29:54 +0000 ПРОЛОГ ту ЛИСП https://forum.sources.ru/index.php?showtopic=1889&view=findpost&p=3507977
Ну это примерно как на ранних стадиях развития C++ компиляторы компилировали C++ код не сразу в машинный код, а в программу на Си. А далее программист уже по своему выбору пользовался имевшимися в то время в огромном кол-ве комилятором Си]]> Бифуркатор Prolog https://forum.sources.ru/index.php?showtopic=1889&view=findpost&p=30506 Mon, 09 Jun 2003 08:54:16 +0000 ПРОЛОГ ту ЛИСП https://forum.sources.ru/index.php?showtopic=1889&view=findpost&p=30506

(defun mem (el,li) (cond ((eq li nil) T) ((eq el (car li)) nil) (T (mem el (cdr li)] (defun chlist (li1,li2) (cond ((eq li1 nil) nil) ((mem (car li1) li2) (chlist (cdr li1) li2)) (T (cons (car li1) (chlist (cdr li1) li2)]

]]> vesper1 Prolog https://forum.sources.ru/index.php?showtopic=1889&view=findpost&p=30504 Sat, 07 Jun 2003 16:49:26 +0000 ПРОЛОГ ту ЛИСП https://forum.sources.ru/index.php?showtopic=1889&view=findpost&p=30504

domains
list = symbol*

predicates
n_member(symbol,list,integer)
zamena(list,list,list,list)

clauses
n_member(X,[X|_],1).
n_member(X,[_|T],N):-n_member(X,T,N1),N=N1+1.
zamena([],_,_,[]).
zamena([B|AL],[B|BL],[C|CL],[C|DL]):-!,
zamena(AL,BL,CL,DL).
zamena([A|AL],[_|BL],[_|CL],[A|DL]):-!,
zamena(AL,BL,CL,DL).

как это превести на язык MuLISPa? или просто LISPa?
ЗЫ.. понять не могу в какую такую рамку пихать коды программ]]> Belldandy Prolog