و س االذ زوزی ای خایاى فصل تز اه ساسی ه غك تزای کالس زکسز فزساى. : Compound term ت ضکل. هی گ ی س. هثال : dog(fido). dog(fido, cat(dog(fido,3)).

Size: px

Start display at page:

Download "و س االذ زوزی ای خایاى فصل تز اه ساسی ه غك تزای کالس زکسز فزساى. : Compound term ت ضکل. هی گ ی س. هثال : dog(fido). dog(fido, cat(dog(fido,3))."

Cynthia Lane
5 years ago
Views:

1 و س االذ زوزی ای خایاى فصل تز اه ساسی ه غك تزای کالس زکسز فزساى Getting started فصل and Clauses and Predicates 2 1 Term چیسر ا اع تغ ر کلی زاز ای زر ى ا اع Term زر ستاى Prolog را تا هثال ضزح ز یس. Prolog را اصغالحا Term هی گ ی س. Number 1- : Term ا : کلی اػساز حمیمی هثثر ه فی اس ایي ع اسر. تص رذ رضس ای ک تا حز ف ک چک آغاس هی ض ز یا رضس ای ک زاذل ". هثال 2- Atom همازیز غیز ػسزی ثاتر سس س ت ز ص رذ ظا ز هی ض س یا ali2, reza, 'ALI', '123Reza' خا گ سار تزای همازیز سس س. ام هسغیز ز ثال ای اس کاراکسز ا )حز ف ک چک تشرگ ػسز ) اسر ک تا حزف تشرگ ضز ع هی ض ز. هثال ز خ Underline ت ز ایی هسغیز اض اس Anonymous هداس اسر حزف ا ل هسغیز ن تیایس اضکالی سارز هثل زر ى ام هسغیز هداس یسر هثل اسر زاذل خزا سش اس ع Variable هسغیز ا: اساهی Fido_3, Ali _fido. لی فاصل ه ا خوغ ػالئن زیگز : Compound term ت ضکل.Animal Functor(t1,t2,.,tn) هی تاضس زر ایي ساذسار Compound term آى Arity هی تاضس ت زؼساز آرگ ها ای زاذل خزا سش Term Functor اس ع Atom هی گ ی س. هثال : dog(fido). dog(fido, cat(dog(fido,3)). marshal, 3 ). هطرص یسر ا هحس ز اسر هی ز ا س زر ع ل اخزا زغییز هی ک س. هثال : Clause چیسر ا اع آى را ضزح ز یس. 5- List ا : لیسر ا ع ذاصی Compound term سس س لی Functor سارز زؼساز آرگ ها ای آى [[1,3,you],3] [fido,fido,dog(henry)] خایگا زا ص زر یک تز اه Prolog کال اس هدو ػ ای اس Clause ا زطکیل یافس. یک Clause هی ز ا س ضاهل چ سیي سغز ت ز یا چ سیي Clause زر یک سغز ضس ض س. عثم ت سی کزز. Clause ا تا یک کاراکسز مغ ت ز ثال آى حسالل یک Space یا Rule ا ت فزم سیز سس س : Clause احزاس ض ز. هف م تاسگطسی Fact ا ضاهل یک Enter خایاى هی یاتس. Clause ا را هی ز اى ت ز زسس Fact ا Rule ا christmas., dog(fido). )Compound term + atom( Call term هی تاض س اس ع Head Clause tn زا لسور t1 head:-t1,t2,,tn. را body Clause هی گ ی س. خ ر احزاس صحر head تایس صحر ز یک اس اخشای body grandparent(x,y):-parent(x,z),parent(z,y). Recursion را تاهثال ضزح ز یس. یک ر ش خ ر زؼزیف Rule ا اسر ت ز ص رذ هسسمین Direct یا غیز هسسمین Indirect تیاى هی ض ز. زر ر ش هسسمین تزای زؼزیف Clause1 زر لسور Body اس ذ ز Clause1 اسسفاز هی ک ین. زر ر ش غیز هسسمین خ ر زؼزیف Clause1 اس خ ر زؼزیف 1-i Clause اس Clause i زر خایاى خ ر زؼزیف Predicate را زؼزیف ک یس. Clause2 خ ر زؼزیف Clause n اس Clause1 اسسفاز هی ک ین. Clause2 اس Clause3 ت ویي زززیة count(n):- N>0, write(n), M is N, count(m). fact(n,f):- N>0, M is N, fact(m,fa), F is Fa*N. jad(x,y):- parent(x,y). jad(x,y):-parent(x,z),jad(z,y). Head Clause اس ع Compound term ( Call term یا ) Atom هی تاضس اگز Head Clause اس ع Compound term تاضس ( اس ع Atom ثاضس ) ت آى Predicate هی گ ی س. زر الغ Predicate ػی Clause Variables Scope را ضزح ز یس. زر یک Clause اسر ک Head آى اس ع Compound term تاضس. هسغیز ای اسسفاز ضس یچ گ ارزثاعی تا سایز هسغیز ای ن ام زر سایز Clause Clause هزت ع هی تاضس. ا ر ا س زاضر. ت ػثارذ زیگز : Scope ز هسغیز -5 فصل : Satisfying goals 3 ح Satisfying goals را تایک هثال ضزح ز یس. لسی یک یا چ س Goal را اخزا هی ک ین ح اخزای Goal ا اس چح ت راسر ذ ا س ت ز.تزای ز prolog Goal سؼی هی ک س اس ا لیي سغز خایگا زا ص را تزرسی Body Head کزز Clause ا را تا Goal ارز ضس زغثیك ز س) unify ک س ). هثال اگز Goal ارز ضس dog(x). تاضس آى تا dog( fido). Satisfy هی ض ز ذز خی تص رذ X=fido ذ ا س ت ز اگز یکی اس Goal ای ارز ضس تا یچ کسام اس Clause ا Satisfy ط ز Fail هی ض ز. 1

2 Unification را تا یک هثال ضزح ز یس. گام اخزای یک prolog Goal سؼی هی ک س اس ا لیي سغز خایگا زا ص تزرسی کزز goal را تا زک زک Clause ا زغثیك ز س. فزآی س زغاتك اسسفاز ضس را اصغالحا Arty - ل ا یي unification هی گ ی س. لسی هی گ یین ز Unified Call term ضس س ت ایي هؼ ا اسر ک آ ا تزاتز تاضس هسغیز ا ت همازیز هس اظز ذ ز Bind ض س سید هوکي اسر True تاضس یا Fail ض ز. Unification را تزای ا اع حالس ای هوکي ت یسیس. ز ازن ت ضزعی ز Compound Term ت ضزعی unify unify هی ض س ک تزاتز تاض س. زاضس تاض س ثالثا آرگ هاى ای آ ا ظیز ت ظیز اس چح ت راسر bound و ار تا یکسیگز ض ز تا Bound ضسى ت آى. unify ض س. ز ػسز ت ضزعی Clause Head ا را تا Goal ارز ضس زغثیك ز س هی ض س ک ا ال Functor آ ا یکی تاضس ثا یا arty یکساى unify هی ض س ک تا ن تزاتز تاض س. ز هسغیز Un unify هی ض س ت ایي ص رذ ک ت یکسیگز Bound هی ض س. یک هسغیز Bound ضس ها س چیشی ک ت آى Bind ضس زر ظز گزفس هی ض ز. ض س ک زؼساز اػضای آ ا یکی تاضس اس چح ت راسر ظیز ت ظیز تا ن هزاحل ارسیاتی یک ) Evaluating ( Goal را ضزح ز یس. یک هسغیز ت یک Term ک هسغیز ثاضس و ار ز لیسر فمظ فمظ لسی unify هی unify هی unify ض س. گاهی ک Goal اخزا هی ض ز Prolog اس اتسسای خایگا زا ص آغاس کزز ت زززیة اس تاال ت خاییي ک س زر ص رذ یکساى ت زى Arty Functor سؼی زر Unify کززى Goal تا خایگا زا ص Goal ه رز ظز Fail هی ض ز اها زر ص رذ یافسي ص رزی ک اس ع Fact تاضس Goal ه رز ظز تالفاصل True ذ ا س ضس اها اگز اس ع و سایز حالس ای هوکي Fail هی ض ز. Clause ا را خ ر یافسي یک Clause تا س ه اسة خسسد هی Clause یافر ضس ذ ا س کزز زر ص رذ یافر طسى چ یي clause یی زا خایاى Unification ا دام ضس ذز خی تسس ت ع Fact clause یا Rule هسفا ذ ذ ا س ت ز. زر Rule تاضس السم اسر زا Goal ای ه خ ز زر Body Clause ت زززیة اس چح ت راسر یکی یکی ارسیاتی ض س اگز زواهی ایي Goal ا True تاض س Goal ا لی ه رز ظز یش true ذ ا س ضس زر غیز ای ص رذ fail هی ض ز. Backtracking را ضزح ز یس. ػثارذ اسر اس فزآی س تاسگطر ت ػمة زر هسیز ارسیاتی goal ا ت ه ظ ر ای ک سؼی ک ین زا آذزیي Goal احزاس ضس satisfy( ضس ( را هدسزا احزاس ک ین ( Re satisfy ک ین( ایي ػول ه خة یافسي یک را خسیس تزای اخزای Goal ا لی ذ ا س ت ز. تا ز خ ت Clause ای سیز تزای رسیسى ت خاسد Rule ضس ضس هزاحل Backtracking Unify را ضزح ز یس : [M1] mother(ann,henry). [M2] mother(ann,mary). [M3] mother(jane,mark). [M4] mother(jane,francis). [M5] mother(annette,jonathan). [M6] mother(mary,bill). [M7] mother(janice,louise). [M8] mother(lucy,janet). [M9] mother(louise,caroline). [M10] mother(louise,martin). [F1] father(henry,jonathan). [F2] father(john,mary). [F3] father(francis,william). [F4] father(francis,louise). [F5] father(john,mark). [F6] father(gavin,lucy). [F7] father(john,francis). [F8] father(martin,david). [F9] father(martin,janet). [P1] parent(victoria,george). [P2] parent(victoria,edward). [P3] parent(x,y):-write('mother?'),nl,mother(x,y),write('mother!'),nl. [P4] parent(a,b):-write('father?'),nl,father(a,b),write('father!'),nl. [P5] parent(elizabeth,charles). [P6] parent(elizabeth,andrew). Rule ه رز ظز : ایي Goal چ ار Sub Goal زطکیل ضس اتسسا?-parent(john,Child),write('The child is '),write(child),nl. Head ارسیاتی هی ض ز ت ایي زززیة ک تا خسسد زر خایگا زا ص آ زا تا parent(john,child) ا ل Sub goal [P3] ک س لذا کلو Child ت هسغیز Y john ت ازن X هی ک س یؼ ی unify Bound هی ض ز. تا ز خ ت ای ک [P3] یک Rule اسر السم اسر Body آى را یش ارسیاتی mother? nl چاج هی ض ز سدس تر ت mother(x,y) هی رسس ک تایس ارسیاتی ض ز ک اک ى تص رذ mother(john,child) اسر

3 هطرصا اهکاى Satisfy ضسى آى خ ز سارز. ت ا تزایي Fail هی ض ز حال تر Backtracking هی رسس ت ایي زززیة ک ت سزاؽ آذزیي Goal ک Satisfy ضس هی ر ز سؼی هی ک س آ زا Re satisfy ک س )اس راسر ت چح(. ه ظ ر اس Re satisfy کززى یافسي ر ش خسیسی تزای satisfy کززى آى اسر ک ػوسزا اس عزیك Binding ت همازیز خسیس رخ هی ز س. زر ای دا آذزیي Goal ک Satisfy ضس nl اسر ک ها س اغلة BIP ا Un re satisfy able اسر ت ایي هف م ک و ار زر Fail Backtracking هی ض س. زر ازاه Backtracking سزاؽ write('mother?') رفس سؼی زر Re satisfy کززى آى هی ک س ک وا س nl اهکاى خذیز ر ا س ت ز لذا Fail هی ض ز تا ز خ ت ای ک Goal زیگزی زر Body ایي Rule خ ز سارز کل Body زر سید [P3] Fail هی ض ز تا ز خ ت Fail ضسى [P3] Binding ای رخ زاز یش اس تیي هی ر ز ( Scope ز هسغیز واى Clause هزت ع اسر ). زر ازاه سزاؽ Clause تؼسی [P4] رفس سؼی هی ک س Goal ذ ز را تا Head آى Unify ک س ت اسغ آى هسغیز A ت B john ت هسغیز Bindهی Child ض ز حال سزاؽ Body ایي Rule رفس کلو father? nl چاج هی ض ز. سدس ت سزاؽ father(a,b) ک تص رذ father(john,child) اسر رفس سؼی هی ک س آ زا Satisfy ک س ایي Goal ز سظ [F2] Unify ضس ت ایي سیل Child B ت Bind mary هی ض ز لذا father(a,b) یش satisfy Body ایسا [P4] Satisfy هی ض ز. ت ایي زززیة parent(john,child) تا چح ت راسر احزاس هی ض ز. حاصل Query تص رذ سیز اسر: خس اس یافسي ا لیي خاسد هی ز اى تا ارز کززى ; هی ض ز زر ازاه ز Goal خ ز زارز ک آ ا یش همازیز nl father چاج هی ض ز زر سید کل Bind ضسى Child ت mary احزاس هی ض ز. Goal ای تؼسی یش ت زززیة اس )سوی کالي( آ زا هدث ر ت Back tracking کزز زر ایي را Prolog سؼی هی ک س آذزیي mother? father? father! The child is mary Child=mary Goal ک Satisfy ضس را Re satisfy ک س. ت زززیة write('the child is'),write(child),nl وگی BIP ت ز Re Satisfy وی ض س لی parent(john,child) اسر ک تایس Re Satisfy ض ز تزای ایي کار ت سزاؽ آذزیي Goal هی ر ین ک زر parent(john,child) Satisfy ضس ت ز ک ػثارذ اسر اس write('father!'),nl زر [P4] ک زز BIP ت ز Re satisfy وی ض س. خس ت سزاؽ لثلی آى آذزیي Satisfy ضسى آى ت ز ضز ع کزز سؼی هی ک ین آى را father(john,b) هی ر ین خ ر Re Satisfy کززى آى اس تؼس اس [F2] ک هحل Satisfy ک ین ک زر [F5] رخ هی ز س لذا B Re Satisfy father(john,b) تص رذ سیز ذ ا س ت ز : Child ت Bind mark هی ض ز زر ایي لحظ ضس اسر هی ز ا ین فزای س ارسیاتی را وا س لثل اس چح ت راسر ازاه ز ین. ازاه سایح حاصل اس Query خس اس سزى ; father! The child is mark Child = mark ; father! The child is francis Child = francis; Fail. فصل 4 Operators and Arithmetic یا In fix, pre fix, post fix Operator چگ زؼزیف هی ض ز تا یک هثال ضزح ز یس. یک Predicate تا Arty=2 هی ز ا س تص رذ یک infix operator زؼزیف گززز ک زر ایي ص رذ functor ها تیي آرگ هاى ای آى ضس هی ض ز. هثال pre fix operator هی ز ا س تص رذ یک تا Arty=1 Predicate ضر. ت ویي ص رذ یک john likes mery را هی ز اى تص رذ likes(john,mery) dog(fido). Post fix operator ت یسین هثال : را هی ز ا ین تص رذ fido. dog یا dog. fido ت یسین. ایي کار یؼ ی ضسي predicate ا تص رذ operator هؼو ال خ ر افشایص ذ ا ایی هی تاضس خ ر زثسیل predicate ت operator اس زسس ر اسسفاز هی ک ین. ایي زسس ر زارای س خاراهسز اسر. ک ا لی طاى ز س ا ل یر )preferences( ز هی تزای زؼییي ع اخزاز ر آرگ هاى س م ام زؼییي هی ک س. هثال تزای زثسیل (ali,hasan). parent ت اخزاز ر هی یسین op(10,xfy,parent). حال هی ز اى یک حالس ای هرسلف اخزاز ر هحاسثازی is را تا چ س هثال ضزح ز یس. query ت ص رذ سیز ضر: op(,, ) Functor را ali parent hasan اخزاز ر is یک اخزاز ر تای زی هی تاضس ک ت ص رذ infix اسسفاز هی ض ز. زر هسسا ل ززیي ضکل اسسفاز اس آى آرگ هاى ا ل یک هسغیز un bound ز م یک اسر آرگ هاى number یا ػثارذ هحاسثازی اسر. تا اخزای ایي اخزاز ر ػسز ه خ ز زر آرگ هاى ز م یا سید هحاسث ػثارذ هحاسثازی زر آرگ هاى ز م ت آرگ هاى ا ل X یا is 13 X is 14 Bind ذ ا س ضس. هثال : 3

4 زر ص رزی ک ز ز آرگ هاى اس ع Number تاض س اخزاز ر is آ ا را تا یکسیگز همایس کزز زر ص رذ تزاتز ت زى حاصل True ذ ا س ت ز. زر حالر کلی هی ز اى گفر : سید حاصل اس اخزای is هحاسث ضسى آرگ هاى ز م unify ضسى آى تا آرگ هاى ا ل اسر. 7 is 4+3 true 4 is 1 false 4 is 4 false X is 5, X is 4+2 false ا اع اخزز ر ای همایس ای کارتزز زیک را تا هثال ت یسیس. تغ ر کلی س ع اخزاز ر همایس ای زارین 1- اخزاز ر =:= =\= تزای همایس ػثارز ای هحاسثازی. هثال : 5 =:= 4 true 3 =:= 5 true X =:= 4 error X is 3, X =:= 4. X=3 true 3 =\= 2+X. error X is 1, 3 =\=2+X. false X is 4, 3 =\= 2+X. X=4 true اخزاز ر == \== تزای همایس Term ا تس ى ػول. binding unify هثال : likes(x, prolog)==likes(x,prolog). true likes(y, prolog)==likes(x,prolog). false X is 5, likes(x, prolog)==likes(5,prolog). true 3+5 == 7+1 false 4+3 == 6+2 false زر ز هثال آذز زلیل False ت زى ایي اسر ک یچ گ هحاسث ای ا دام وی ض ز تلک 7+1==3+5 تص رذ (7,1)+==(3,5)+ همایس هی ض ز ک functor تزاتز زار س arty ا ا یکساى اسر تایس زک زک آرگ هاى ا یش تزاتز تاضس ک ای گ یسر خس false هی ز س. 3- اخزاز ر = =\ تزای همایس Term ا وزا تا. Unification 3+4 = 5+2. false 3+4 = X+4 X=3 true X+3 \= 5+3 false X+3 \= 5+4 true X is 4, X+3 \= 5+3. X=4 true حاصل ز یک اس ػثارز ای همایس ای را هماتل آى ت یسیس. 3+4 = X+4. X=3 true X is 7, X+3 is 7+3 false 3+4 == X+4. false X is 10, X is 7+3 X=10 true 3+4 =:= X+4. error X is 7, X+3 = 10 false X+3 is 7+3 false X is 4, X+3 \== 5+3. X=4 true Loops,Backtracking فصل 6 7 predicate ت یسیس ک اػساز N زا یک را طاى ز س. count(n):- N>0, write (N), nl, M is N, count (M). count(0). predicate ت یسیس ک اػساز یک زا N را طاى ز س. upcount(n):- N>0, M is N, upcount(m), write(n), nl. upcount(0). )N>M(. را طاى ز س N زا M ت یسیس ک اػساز predicate chap(m,n):- N>M, P is N, chap(m,p),write(n), nl. chap(m,m):- write(m). predicate ت یسیس ک اػساز M زا N را طاى ز س. )هوکي اسر M تشرگسز تاضس یا N یا تزاتز تاض س( chap(m,n):- N>M, P is N, chap(m,p),write(n), nl. chap(m,m):- write(m). chap(m,n):- N<M, P is N+1, chap(m,p),write(n), nl. predicate ت یسیس ک اػساز یک زا N را خوغ تش س. sum(n,s):- N>0, M is N, sum(m,sa), S is SA+N. sum(0,0). M زا N را خوغ تش س. predicate ت یسیس ک اػساز sum(m,n,s):- N>M, P is N, sum(m,p,sa), S is SA+N. sum(m,m,m). predicate ت یسیس ک فاکس ریل N را حساب ک س. fact(n,f):- N>0, M is N, fact(m,fa), F is FA*N. fact(0,1). predicate ت یسیس ک N اهیي ػض رضس اػساز فیث اچی را وایص ز س. fibo(n,f):- N>2, M is N, fibo(m,fa), P is M, fibo(p,fb), F is FA+FB. fibo(1,1). fibo(2,1)

5 زکزار خایاى یاتس. عزیم ایداز حلم تا repeat را ت کوک یک هثال ضزح ز یس. predicate ت یسیس ک هس الیا کلوازی را اس صفح کلیس ذ ا س وایص ز س زر ص رزی ک کلو ذ ا س ضس end تاضس chap:- read(x), X\=end, write (X), nl, chap. chap:- write(end). ایي زسس ر یک BIP اسر زر الغ چیشی را زکزار وی ک س ز ا کاری ک هی ک س ایي اسر ک و ار True ذ ا س ت ز حسی زر Backtracking یش True ذ ا س ت ز. هثال ) واى تز اه لثلی( هی ذ ا ین تا کوک repeat یک ک کلو ذ ا س ضس end تاضس زکزار خایاى یاتس. predicate ت یسین ک هس الیا کلوازی را اس صفح کلیس ذ ا س وایص ز س زر ص رزی chap:- repeat, read(x), write(x), X=end. زر الغ کافی اسر زسس رازی ک هی ذ ا ین زکزار ض ز ها تیي repeat ضزط خایاى حلم ت یسین. count(n):- repeat, Predicate وایص اػساز N زا یک را ت کوک repeat ت یسیس. حل طس یچ کسام اس فر س ال ا ل ایي ترص ک تا تاسگطسی ضس ت زین تا عزیم ایداز حلم تا fail را ت کوک یک هثال ضزح ز یس. repeat حل طس. یکی زیگز اس BIP ا اسر ک زر ایداز حلم اسسفاز هی ض ز. زسس ر fail تز ذالف repeat و ار fail هی ض ز. تزای ایداز حلم ت کوک fail تایس آى را زر ا س ای حلم تگذارین. هثال : تزای هوا ؼر اس Backtracking اس چ زسس ری اسسفاز هی ک ین. هثال تش یس. اس زسس ر Cut تا ػالهر! اسسفاز هی ک ین. ایي زسس ر زر ا لیي اخزا ث زى! تاػث هی ض ز هثال تزای larger(8,6,x). ػسز alldog:-dog(x), write(x), write (' is dog'), nl, fail. alldog. true ذ ا س ت ز لی زر اخزا ای تؼسی زر فزای س Backtracking و ار fail هی ض ز. larger(a,b,a):-a>b,!. larger(a,b,b). 8 را تس س تا سزى ; ػسز 6 را ن تس س ک ایي هطکل تا لزار زازى! زر ا س ای predicate حل هی ض ز زر predicate سیز هحاسث فاکس ریل N ه رز ظز اسر لی خس اس اخزای هطکل را ت یسیس. query سزى ; تزای Backtracking تز اه ذغا هی ز س. ػلر چیسر ح حل factorial(1,1). factorial(n,nfact):- N1 is N, factorial(n1,nfact1), Nfact is N*Nfact1. ایي یک زاتغ تاسگطسی اسر ک اس N ضز ع هی ک س زر ز تار 1-N را تزای واى زاتغ فزاذ ا ی هی ک س زا سها ی ک ت یک هی رسس واى ز اتغ ز تار تزهی گزز س همسار هی گیز س زا همسار ایی هحاسث ض ز زر خایاى لسی ک س. تزای خل گیزی اس ایي ازفاق کافی اسر زر خایاى predicate ز م اس زسس ر لسوسی اس یک تز اه یک ; هی س ین تزای Backtracking سؼی هی ک س آذزیي Goal را ک satisfy ضس را re satisfy cut تص رذ! اسسفاز ک ین. predicate ت ام go زارز تص رذ سیز ک ظیف آى گزفسي همازیز زؼییي فزز یا س ج ت زى آ ا اسر ایي تز اه تا ػسز 111 خایاى هی خذیزز. لسور read_and_check(n,type) ک زر ایي predicate اسسفاز ضس را ت یسیس. 4 5 go:-repeat,read_and_check(n,type),write(n),write('is'),write(type),nl,n=:=100.?- go. Enter next number: is odd Enter next number:. is even Enter next number: is odd Enter next number: is even Enter next number: is even True. اخزای تز اه تص رذ سیز ذ ا س ت ز. خ اب : 5

6 read_and_check (N,Type):- write(' Enter next number:'), read(n),od(n,type),!. od(n,type):-(n//2)=\=(n/2),type = 'odd',!. od(n,type):- Type = 'even'. فصل 9 لیسر ا pred1 ک زر آرگ هاى ا ل یک لیسر را تگیزز زر آرگ هاى ز م ز ثال )tail( آى را تس س.?- pred1([a,b,c],l). L = [b,c] pred1([a L],L). هثال : inc ک زر آرگ هاى ا ل یک لیسر حا ی زؼسازی ػسز را تگیزز زر آرگ هاى ز م واى اػساز را تا اضاف کززى یک احس تس س.?- inc([10,20,-7,0],l). L = [11,21,-6,1] inc([],[]). inc([a L],[A1 L1]):-A1 is A+1,inc(L,L1). خ اب : palindrome ک چک ک س ک یک لیسر تا تزػکس آى تزاتز اسر یا.?- palindrome([a,b,c,b,a]). yes?- palindrome([a,b,c,d,e]). no palindrome(a):-reverse(a,a). putfirst ک یک term را ت ا ل لیسر اضاف ک س.?- putfirst(a,[b,c,d,e],l). L = [a,b,c,d,e] putfirst(a,l,[a L]). -5 putlast ک یک term را ت آذز لیسر اضاف ک س.?- putlast(e,[a,b,c,d],l). L = [a,b,c,d,e] putlast(a,l,l1):-append(l,[a],l1). -6?- pred1([a,b,c,d,e],l). L = [[a],[b],[c],[d],[e]] pred1(l1,l):-findall([a],member(a,l1),l). pred1 ک یک لیسر را ت ص رذ سیز یزایص ک س. -7 showall ک زک زک ػ اصز لیسر را چاج ک س.?- showall([a,b, 4]). a b 4 true. showall([a L]):-write(A),nl,showall(L). showall([]). 6

7 تر ا ین ػ ض ک س. predicate زؼزیف ک یس ت ام predicate زؼزیف ک یس ت ام predicate زؼزیف ک یس ت ام delfirst ک یک لیسر را گزفس ا لیي ػ صز آى )head) را حذف ک س.?- delfirst([1,2,3],x). X = [2, 3]. delfirst([a L],L).?- replfirst([1,2,3],ali,x). X = [ali, 2, 3]. replfirst([a L],B,[B L]). replfirst ک یک لیسر را گزفس ا لیي ػ صز آى را تا زچیشی ک count ک یک لیسر را گزفس زؼساز ػ اصز لیسر را تطوارز.?- count([a,b,c],x). X = 3. count([a L],N):-count(L,M),N is M+1. count([],0). subset ک ز لیسر را تگیزز تگ یس آیا اػضای لیسر ا ل زر ى ز هی خ ز زارز یا.?- subset([1,2,3],[a,3,b,1,2]).?- subset([1,2,3],[a,3,b,2,c]). false. subset([a L],B):-member(A,B),subset(L,B). subset([],b). sublist predicate ت ام myreverse زؼزیف ک یس ک ز لیسر را تگیزز تگ یس آیا اػضای لیسر ا ل تا واى زززیة وگی زر ى لیسر ز م خ ز زارز یا. ک یک لیسر را تگیزز زززیة اػضای آى را هؼک س ک س.?- sublist([1,2,3],[a,1,2,3]).?- sublist([1,2,3],[1,2,3,a]).?- sublist([1,2,3],[a,1,2,3,b]).?- sublist([1,2,3],[a,1,b,2,3]). false. sublist(a,b):-length(a,n),sub(a,n,b),!. sub([a L1],N,[A L2]):-sub(L1,N,L2). sub([],n,l). sub(l,n,[b L2]):-length(L,N),sub(L,N,L2).?- myreverse([1,2,3],x). X=[3,2,1]. myreverse(a,b):-rev(a,[],b). rev([],l,l). rev([a L],L1,L2):-rev(L,[A L1],L2). predicate ت ام myappend زؼزیف ک یس ک ز لیسر را تگیزز ا لی را ت اتسسای ز هی اضاف ک س.?- myappend([1,2],[3,4,5],x). X = [1, 2, 3, 4, 5]. myappend([],l,l). myappend([a L1],L2,[A L3]):-myappend(L1,L2,L3) predicate ت ام mymember زؼزیف ک یس ک یک term لیسر را تگیزز سدس خ ز ػسم خ ز آ زا زر لیسر هطرص ک س. 15 7

8 ?- mymember(2,[1,2,3]).?- mymember(4,[1,2,3]). false. mymember(a,[a L]). mymember(a,[b L]):-mymember(A,L). predicate ت ام maxi زؼزیف ک یس predicate ت ام mini زؼزیف ک یس predicate ت ام mysort زؼزیف ک یس predicate ت ام myp1 زؼزیف ک یس predicate ت ام myp2 زؼزیف ک یس predicate ت ام myp3 زؼزیف ک یس predicate ت ام pred زؼزیف ک یس ک یک لیسر ػسزی را تگیزز تشرگسزیي ػسز راتس س. ک یک لیسر ػسزی را تگیزز ک چکسزیي ػسز راتس س. ک یک لیسر ػسزی را تگیزز لیسر هززة ضس را تس س.?- maxi([1,2,3],x). X = 3.?- maxi([3,2,1],x). X = 3.?- maxi([3,4,1],x). X = 4. maxi([a L],Max):-big(L,Max,A). big([],m,m). big([a L],Max,M):-A>M,big(L,Max,A). big([a L],Max,M):-A=<M,big(L,Max,M).?- mini([1,2,3],x). X = 1.?- mini([3,2,1],x). X = 1.?- mini([3,4,2],x). X = 2. mini([a L],Min):-min(L,Min,A). min([],m,m). min([a L],Min,M):-A<M,min(L,Min,A). min([a L],Min,M):-A>=M,min(L,Min,M). insert(x,[ ],[X]). insert(x,[y T1], [Y T2]):- X>Y,insert(X,T1,T2). insert(x,l, [X L]). mysort([],[]). mysort([x L],L1):-mysort(L,Tail),insert(X,Tail,L1),!. ک یک لیسر یک ػسز را تگیزز اس ا ل لیسر ت زؼساز گفس ضس را ت ها تس س. myp1(l,0,[]). myp1([x L],B,[X L1]):-B>0,B1 is B,myp1(L,B1,L1). ک یک لیسر یک ػسز را تگیزز اس آذز لیسر ت زؼساز گفس ضس را ت ها تس س. myp2(l,0,[]). myp2(l,b,l1):-reverse(l,l2),myp1(l2,b,l3),reverse(l3,l1). ک یک لیسر یک ػسز را تگیزز اس هحل ػسز گفس ضس زا آذز لیسر را ت ها تس س. myp3(l,0,l). myp3(l,x,l1):-length(l,len),len1 is Len-X+1,myp2(L,Len1,L1). ک یک لیسر را تگیزز N اهیي ػض لیسر راتس س. predicate ت ام myp4 زؼزیف ک یس ک یک لیسر را تگیزز اس هحل M زا N اس لیسر را ت ها تس س. س حل طس. pred([a L],N,B):- N>1,N1 is N, pred(l,n1,b),!. pred([a L],1,A). myp4([a L],M,N,L2):- N>M, N1 is N, myp4(

9 person(john,smith,45,london). person(mary,jones,28,edinburgh). person(michael,wilson,62,bristol). person(mark,smith,37,cardiff). person(henry,roberts,23,london). 24 -تا ز خ ت predicate سیز : یک goal ت یسیس ک ام ذا ازگی ا را تص رذ یک لیسر طاى ز س.?- findall(s,person(_,s,_,_),l). یک goal ت یسیس ک ام ام ذا ازگی ا را تص رذ لیسر طاى ز س.?- findall([forename,surname],person(forename,surname,_,_),l). یک goal ت یسیس ک ام ام ذا ازگی کسا ی ک زر ل سى س سگی هی ک س را تس س.?- findall([londoner,a,b],person(a,b,_,london),l). یک goal ت یسیس ک ام کسا ی ک سي کوسز اس 41 سال زار س را تس س.?- findall([a,b],(person(a,b,c,_),c<40),l). 9

)هبهعو ال هقبالتوبىراتبیپهیک ین.( typed. 4. Our papers are usually

)هبهعو ال هقبالتوبىراتبیپهیک ین.( typed. 4. Our papers are usually Prepared By: Ferdos Golpour, Konkour instructor - Rasht SAMPAD )هؼل م ) electricity. 1. Edison discovered )هد ل ) Edison. 2. Electricity was discovered by )درختببیذبریذ ش د.( cut. The tree should be )سبختوبىجذیذیدرای