JAKICH OBLICZE DOKONUJA PONI SZE FUNKCJE LISPU?
1. DEFINE (( (COUNT (LAMBDA (E)
(COND ((NULL E) 0) ((ATOM E) 1)
(T (PLUS (COUNT (CAR E)) (COUNT (CDR E))))))) ))
gdzie: PLUS (n,m)=n+m
funkcja zwraca dlugosc listy E
2. DEFINE (( (AMONG (LAMBDA (A L) (COND ((NULL L) NIL)
funkcja sprawdza, czy A nalezy do L
((EQ A (CAR L)) T)
(T (AMONG A (CDR L) )))))))
3. DEFINE (( (INSIDE (LAMBDA (A E) (COND ((ATOM E) (EQ A E))
((INSIDE A (CAR E)) T)
funkcja sprawdza, czy A nalezy do L
(T (INSIDE A (CDR E)))))) ))
4. DEFINE (( (COPYN (LAMBDA (X N) (COND ((ZEROP N) NIL)
funkcja tworzy liste
(T (CONS X (COPYN X (SUB1
poprzez zwielokrotnienie X N razy
N) )))))) ))
np: COPYN(A 3)=(A A A)
gdzie argument N jest liczba naturaln .
gdzie; ZEROP (n) = T je li n=0; NIL w przeciwnym przypadku
SUB1(n) =n-1
5 DEFINE (( (LENGTHS (LAMBDA (L) (COND ((NULL L) 0)
funkcja zwraca dlugosc listy L
(T (ADD1 (LENGTHS (CDR L))))))) ))
gdzie; ADD1(n) = n+1
6. DEFINE (( (UNIONS (LAMBDA (X Y) (COND ((NULL X) Y)
funkcja laczy dwie listy bez powtorzen ((MEMBER (CAR X) Y) (UNIONS (CDR
X) Y))
(T (CONS (CAR X) (UNIONS (CDR X) Y)))))) ))
7 DEFINE (( (INTERSECT (LAMBDA (X Y) (COND ((NULL X) NIL)
((MEMBER (CAR X) Y) (CONS (CAR X)(INTERSECT (CDR X) Y)))
(T (INTERSECT (CDR X) Y))))) ))
funkcja zwraca liste wspolnych
elementów list X i Y
!"#$%&'()*+,#'('-.',/0$!$,#'('12
!")3"'4)*'-.+,56-%78)-'9-+
f(n)=n2+n = 3n : prod(3,n) = mozna zapisac tez = sum(sum(n,n),n)
#:;:<=>,?
f(n)=n^2+n : sum(exp(n,2),n) = mozna zapisac tez = sum(prod(n,n),n)
-=>@A,B/<2C,,BIQ'#)*$7R
#:;:<=>,D
f(n)=n^3-n : diff(exp(n,3),n) = a to mozna zapisac = diff(prod(n,prod(n,n)),n)
-=>@A,B/<2C,coto(1,3)=succ(succ(coto(0,4)))=succ(5)=6
#:;:<=>,S
(:<:,K>TU,V>JIVTWP<:,;>X<=@K:,BIcoto(2,2)=succ(succ(coto(1,3)))=
=succ(succ(succ(succ(coto(0,succ(succ(2)))))))=8
7)0)/[ZW2CW
8 7 6 5 4 4 3
7)0)/YE?ZW2C\677/\677/7)0)/YZ,\677/W222
funkcja coto(x,y) przeprowadza dzialanie:
#<:K;],7)0),/?ZS2^,7)0),/DZD2^,7)0),/SZ__2 2*x+y+x = 3x+y
coto(3,44)=53
#:;:<=>,_
Tu mam najmniejsza pewnosc,
#<:K;],P:VUN`a,7)0),/,/',Q,72,/7,Q,'22C,b
ale moim zdaniem to tak:
3;H=>c
coto((A B C)(C B A))=(C B A)
bo:
/(+5.-+,7)0)/,9'4Q(',/\+0?,\+0D2
coto((ABC)(CBA))
/7)-(
member(A CBA)
//-699,\+0?2,\+0D2
T -> member(A BA)
sorki za takie
//4+4Q+",/7'",\+0?2,\+0D2
T -> member(A A)
rozpisanie, ale
/7)0),/7(",\+0?2,\+0D2,2
eq(A A) -> T
nie bardzo wiem
/0,/7)-\,/7'",\+0?2
jak to inaczej
/7)0),/7(",\+0?2,\+0D2,22,2,2
coto((BC)(CBA))
zrobić :)
NV:H
member(B CBA)
T -> member(B BA)
ogólnie chodzi o
/(+5.-+,4+4Q+",/9'4Q(',/',9'02 eq(B B) -> T
to jakie warunki i
/7)-(
kroki
coto((C) (CBA))
//-699,9'02,-.92
wykonywane sa
member(C CBA)
//+d,',/7'",9'022,02
w kolejnosci
eq(C C) -> T
/0,/4+4Q+",',/7(",9'0222,2,2
coto(()(CBA))
null() -> (CBA)
#:;:<=>,e
#<:K;],P:VUN`@=,BI/7'",f//',Q2,7,(22,C
CAR((A B) C D) = (A B)
/7(",f//',Q2,7,(2,C
CDR((A B) C D) = (C D)