5/ 1. M -oá pomozá yvk A pá pomozá yvk kfjõd y-y zkü jáo váá, zkü fd jmzõ közö ujdoáok mováják. A m kuáok kk öbb oy pomozá yv,. kdz, myb mü kmzá köybb kzí, hz fjzõ köyzk má f modá jõ zközök yújk. A pá dzközökõ z ááo fhzáhóá yv fpõ pomyvk jd kíá. Az MI yvk zmbóumkz zköz. Az uóbb dõb kzku MI yvk m õb kü C++. Foá: Yohk Sh - Ju-h Tuj: M Apvk kmzáok NOVOTRADE R. 1987.
Kzku m yvk Lmbb bb LISP (Joh M Chy,1957). Szám LISP dku v, mbbk: Commo LISP, z INTERLISP, MLISP, vm Sdd LISP. Mv LISP- zbváy, zk z kmzó pomok hodozhóáá mhzík. Eõ há ykoo kõbb yvk. QA1, QA2, QA3 pomyvk, 1960- vk. Ááo pobmmodó dzk, v bzoyíá já. Szmboku oká, zoúó kmzk. QA4, 1968. A PLANNER pomozá yv há zhõ j. Szmboku pzáó m poduá pzáó kp vo. 5/ 2.
Kzku m yvk.. A PLANNER pomozá köyz C.Hw, MIT hój dooz k 1968-b. A PLANNER- má mj dkív yvk fõ jmvoá: k pobmkö dkáó, objkumok jááok vokozó udá, vm moddó pobmá k md, pobm mvázoáához vzõ u, zük udá- jáámk z ú bjááához m dz k m hzáj f. Az ábázo kf udáfom PLANNER- fzk küöü: dkív udá ydbázb, poduá udá podu (jáá)-dbázb áo. 1. 5/ 3. 1. hp://www..m.du/pop/hw/hw.hm
5/ 4. Kzku m yvk.. A PLANNER õy: Mz: h do z omok váozók mzó áj, kko z zkdõ yk mk, zz váozók kk mháozá uomku. Az jááok mák hívják. Ey do hoz zkdõ jáá híváá yzû mdá váj k uomku, kü, hoy z jáá vk mháozá zük. A k uomku. A PLANNER z dbázokbó km yk jááok váz k hz. Vzp: kvázo k m fü hyk. H vázá k khz vz, PLANNER vz közvü mõzõ dö pohoz, újváz. (Dph f) Dmku ydbáz: uomku bõvü kkövkz ykk, yk ööhõk.
5/ 5. Kzku m yvk.. CONNIVER pomyv, G.J.Sum, MIT kuó, 1972. A CONNIVER PLANNER kjz váoz, hzáj ydbáz z jáá-dbáz, vm m pjá öõ k. Újdoá bb vo, hoy hy z uomku k, pobmmodá vz pomozó bíz. Ezá k háfok mõ. Tovább bpí füvyk. POP-x pomok: uóp fjz. Lújbb vzójuk, POP-11 y MI yv á y fjzõ köyzb, köz: LISP, PROLOG, POPLOG. A yvk közü y fdo bü zbdo vázhuk. A POPLOG yv POP-11 kzíõk j já fjz. Eõj fk hõk, öbbf hdv- pfom. Ip üzmmód, kmá fodíá.
A PROLOG PROLOG (Pomm Lo, Lok pú pomozá) A Comu, Bob Kowk, 1970. Pdkáum koo puó ááo ú pomyv, my zob õyöbb ok pobmák modáá kmzhó. A PROLOG hozáá kho z pz, my koább MI pomozá yvkk zzk: m öbb dzb pí hõ, dz á kább u. Dkív pomyv: dõ mduk k pobmü vokozó yk, zbáyok mvázodó kd,. mõídõ áíá, pom áj modához vzõ pk zoáj váz. 1. 1. 5/ 6. 1. hp://www.yok..uk/dp//wbuff/pop/jh/l333o_o_poo/o.hm
Bvz LISP pomozá yvb Joh M Chy, 1957, MIT M fdok modáá õyö. L Poo - fdoozó, ák kuzpb. Fukoá yv - mûköd füvyk kk j, uíáok k. Rdkívü homo fpí, ömö zkz: om,, füvy. Ny áy - ok kuzív füvyhíváok oká. A poduá yvkbõ m ku- ázázvz füvykk vzhjük. A kuzvz kuzó m háb zou. A fdok dkív íá módjá ámoj. Apvõ kív, p hzá, d zk hozzá fodíó. Hdv mpmáój v, yo. 5/ 7.
A LISP pomozá yv.. A LISP p, mzõ LISP pomuk, my m má, m y, fdoozó doozz f. Ez y poo mzõ, my ká y omo, ká y kb do özbb kfjz zo fdooz mdj z dmy: y omo, vy y á. V kub kv, p pomp- md kkdõ á vá. Bová Kk Kíá 5/ 8.
5/ 9. A LISP pomozá yv píõm Aomok - má yvk zooíók, kok fk m Szmboku omok: bûv kzdõdõ, zõ hozúáú bûzám kombáóv foyódó vk, zmbóumok. Md v kük. Má yvk váozó, füvyv, foo ípuú k hyík. Típuuk. P.: VALT LISTAERTEKU SKALAR U11 MEG-VAN Numku omok: má yvk zámkok fk m, d xpoá k, uykko hozuk zõ. P.: 11-22 +33.44-555.666 123456789012345678901234567890 Lák ( ) záójk közö zóközz vázv foo omok Ü : ( ), zmbóum kj NIL. A ák m ák hk zõ myû báyzoá. P.: (ALFA BETA GAMMA) (+12 VALT -24.25 SZO) (HAPCI MORGO TUDOR (DOLGOZO-TORPEK)) ((((1 A) 2) 3) B) Lák zp: füvyk dfíój y, füvyhívá y, z dok fooá y.
5/ 10. A LISP pomozá yv píõm.. A ák zkz: ( fj fok ) A fj z õ m, d mv bámy m bámy ípuú h, fj h ká. Ey homo, k mkbõ áó oódá z ááb kuzív fdoozá oá: (ALFA BETA GAMMA DELTA) ALFA (BETA GAMMA DELTA) BETA (GAMMA DELTA) GAMMA (DELTA) DELTA ( )
A LISP pomozá yv píõm.. A füvykfjz füvy pomb mhíváá zoá. A füvykfjzb mdo füvy h bpí, vy pomb õz pomozó á mdo. A füvykfjz y, myk õ m füvy v, öbb füvy kuá pm. Lzk pmkü zõ zámú pm hívhó füvy. P.: ( füvyv pm1 pm2 pm ) (PRINT EGY-ARGUMENTUMA-LEHET) (TIMES TENYEZO1 TENYEZO2 TENYEZO3 TENYEZO4) A füvyv h y mák füvy dmyk do. A füvy vzdo k h y om, vy y. 5/ 11.
5/ 12. A LISP pomozá yv píõm.. Bpí füvyk QUOTE - mv y füvyhívá fom myzk y zmbóumm kzdõdõ áv füvyhívá z pmz, h kjuk kü, hoy y á füvyk zz dz, kko QUOTE füvy z hjük, m füvyhívábó á á. Mv yo yko z z y, hyíhjük z pozóff:. P.: * (QUOTE (ELEM1 ELEM2)) (ELEM1 ELEM2) * (ELEM1 ELEM2) (ELEM1 ELEM2) CAR - fj dj: P.: * (CAR (ELEM1 ELEM2 ELEM3)) ELEM1 * (CAR (1 2 3 4 5 6)) 1 * (CAR ((ALFA BETA) GAMMA DELTA)) (ALFA BETA)
5/ 13. A LISP pomozá yv píõm.. Bpí füvyk.. CDR - A fokájá dj. P.: * (CDR (A B C D)) (B C D) CONS - A jhz o y újbb m. P.: * (CONS BOLHA (PIAC ECSERI)) (BOLHA PIAC ECSERI) * (CONS (ELEM1 ELEM2) (ELEM3 ELEM4 ELEM5)) ((ELEM1 ELEM2) ELEM3 ELEM4 ELEM5) ; fj y APPEND - K á yí. P.: * (APPEND (TALPRA MAGYAR) (HI A HAZA)) (TALPRA MAGYAR HI A HAZA) LENGTH - A mk zámá dj. P.: * (LENGTH (A B C)) 3 * (LENGTH (A (B C ))) 2
5/ 14. A LISP pomozá yv píõm.. Bpí füvyk.. NTH - A. m dj. P.: * (NTH 3 (A B C D )) C * (NTH 5 (A B C D)) NIL * (NTH 2 (A (B C D))) (B C D) MEMBER - A mdo m õ õfoduááv kzdõdõ zá dj. P.: * (MEMBER JANCSI (PAPRIKA JANCSI MOSOGAT)) (JANCSI MOSOGAT) * (MEMBER KENNEDI (JOHNSON CLINTON BUSH NIXON)) NIL * (MEMBER (TUZROL PATTANT) (CSINOS (TUZROL PATTANT) LEANYZO)) ((TUZROL PATTANT) LEANYZO) * (MEMBER PATTANT (CSINOS (TUZROL PATTANT))) NIL
A LISP pomozá yv píõm.. Bpí füvyk.. SUBST - Mdo m j mdo mm. P.: * (SUBST BAJNOKSAG KUPA (LABDA RUGO BAJNOKSAG)) (LABDA RUGO KUPA) * (SUBST AROL BRE (AROL (AROL) AROL)) (BRE (AROL) BRE) * (SUBST E (L1 L2) (A C D E F)) (A C D (L1 L2) F) * (SUBST (L1 L2) E (A C D (L1 L2) F)) (A C D E F) LIST - A foo mk ává yí. P.: * (LIST 1 2 3 4) (1 2 3 4) * (LIST ABC DEF GHI) (ABC DEF GHI) * (LIST ABC (DEF GHI)) (ABC (DEF GHI)) 5/ 15.
5/ 16. A LISP pomozá yv píõm.. Bpí füvyk.. SETQQ - Szmboku omhoz k d. A QUOTE mp b v, zz m k kk. A hozzád k kíj. P.: * (SETQQ VALT1 12.4) 12.4 * VALT1 12.4 * (SETQQ LISTA (CAR (12 24)) ; m k k (CAR (12 24)) SETQ - Szmboku omhoz k d, máodk umumo õbb kk. P.: * (SETQ LISTA (CAR (12 24)) 12 * LISTA 12 SET - A zmboku omhoz k d, õ kk mdk pm. P.: * (SET (CAR (ELEM1 ELEM2)) (NTH 2 (115 335 555)) 335
5/ 17. A LISP pomozá yv píõm.. Bpí füvyk.. PLUS, vy + - A umku umumok öz dj. P.: * (PLUS 1 2 3) 6 * (SETQQ SZAM 21) 21 * (PLUS SZAM 44) 65 DIFFERENCE, vy - - K umku pm küöb dj. P.: * (DIFFERENCE 55.5 23.4) 32.1 TIMES, vy * - A umku umumok zozá dj. P.: * (TIMES 3 5 7) 105 QUOTIENT, vy / - A k umku pm háydoá dj, vy zk, h z m z, kko p/q ko. P.: * (QUOTIENT 6 3 ) 2
5/ 18. A LISP pomozá yv píõm.. Bpí füvyk.. LISTP - Edö, hoy pm -, vy m (kko om). P.: * (LISTP (EGY KETTO HAROM)) T * (LISTP VALT1) NIL * (LISTP (CAR (ALMA KORTE DIO))) NIL AND - A pmk kpoák dmyv vz. NIL hm, T z z (u) k. P.: * (AND (LISTP (EGY KETTO HAROM)) NIL) NIL * (AND T T) T OR - A pmk vy kpoák dmyv vz. P.: * (OR (LISTP (EGY KETTO HAROM)) NIL) T * (OR NIL T NIL T) T
A LISP pomozá yv píõm.. Bpí füvyk.. COND - Fk pjá vó ázá. Akj: (COND ( f1 kkdõ-1 kkdõ-1b kkdõ-1m ) ( f2 kkdõ-2 kkdõ-2b kkdõ-2 ) ( fk kkdõ-k kkdõ-kb kkdõ-k ) ) Ék z õ z f uoó kkdõjk k z. P.: * (COND ( (EQUAL 5 6) (PRINT OT-EGYENLO-HATTAL) ) ( (LISTP (A B)) (SETQQ SZAM 12.67)) ) 12.67 5/ 19.
A LISP pomozá yv píõm.. Bpí füvyk.. EQUAL, vy = - Eyõ áó. A vzõ k T, h k pm k zoo. P.: * (EQUAL 15 15) T * (EQUAL 15 (TIMES 3 4)) NIL * (EQUAL (A B C) (LIST A B C)) T / = - Nmyõ áó. A vzõ k T, h z öz pm õ. Eybk NIL. P.: * (/= 15 15) NIL * (/= 15 (TIMES 3 4)) T * (/= (A B C) (LIST A B C)) NIL 5/ 20.
A LISP pomozá yv píõm.. Bpí füvyk.. < - A vzõ k T, h pmk k mooo övkvõ oozo kok. Eybk NIL. P.: * (< 12 15) T * (< 12 (TIMES 3 4)) NIL * (< (A B C) (LIST A B D)) T <= - A vzõ k T, h pmk k mooo m ökkõ oozo kok. Eybk NIL. P.: * (<= 12 15) T * (<= 15 (TIMES 3 5)) T * (<= (A B C) (LIST A B C)) T 5/ 21.
A LISP pomozá yv píõm.. Bpí füvyk.. > - A vzõ k T, h pmk k mooo ökkõ oozo kok. Eybk NIL. P.: * (> 12 11) T * (> 11 (TIMES 3 4)) NIL * (> (A B C) (LIST A B D)) NIL >= - A vzõ k T, h pmk k mooo m övkvõ oozo kok. Eybk NIL. P.: * (>= 17 15) T * (>= 15 (TIMES 3 5)) T * (>= (A C D) (LIST A B C)) T 5/ 22.
5/ 23. A LISP pomozá yv píõm.. Bpí füvyk.. WHILE - Ckuzvzõ füvy. Eõ pm f, mddd új új kkõdk ovább pmk, mí z õ pm T, zz z. Vz k z õ pm áá k, zz NIL. P.: Számok öz 12-õ 12000-: * (SETQQ OSSZEG 0) 0 * (SETQQ CIKLUSVALTOZO 12) 12 * (WHILE (<= CIKLUSVALTOZO 12000) (SETQ OSSZEG (+ OSSZEG CIKLUSVALTOZO)) (SETQ CIKLUSVALTOZO (+ CIKLUSVALTOZO 1)) ) NIL * OSSZEG 71999928 A WHILE füvy ká hzájuk, kább kuzív füvyhívá kmzuk.
A LISP pomozá yv píõm.. Sjá füvy dfáá DEFUN - Füvydfáó füvy. (DEFUN füvyv ( pm1 pm2 pm) kkdõ1 kkdõ2 kkdõw ) A füvydfáó füvy híváák dmyk füvydfíó áoódk. P.: Számok yz dó füvy dfáá: * (DEFUN NEGYZET (SZAM) (TIMES SZAM SZAM) ) NEGYZET 5/ 24.
5/ 25. A LISP pomozá pd Ho oy fd modá kuzív füvy A KR kzdõúdó k CR úd ák ökkõ ámõ z foo K4,K3,K2,K1 koook z SR dúd fhzáááv. Md k yobb koo khuk kbb kooo. Iduó hyz, háom údk mfõ háom áb mdv: (K4 K3 K2 K1) ; KR kzdõúd () ; CR úd () ; SR dúd. A kuzív füvy bmõ pm KR, CR, SR ák duó omm, kmõ k uyz ák m vápok mfõ. Az kmzo hk: 1. Az ák kívá ó koo föö koook kpzb yb, vójáb zk koook Ho omu kuzív kmzv ákjuk z SR dúd 2. Az ák kívá, mo má j võ koook kü ó kooo má ázük CR úd 3. Vü z SR dúdó kpzb yb, vójáb Ho omu kuzív kmzááv koook ázük CR úd.
5/ 26. A LISP pomozá pd A Ho oy fd modáá vzõ kuzív füvy * (DEFUN HANOI (KR CR SR) (COND ((= (LENGTH KR) 1) ; kuzív híváok vzfodíój, ; z z kuá fdb ó má má ; ázük: (LIST () (APPEND CR (LIST (CAR KR))) SR) ) (T ; y öbb koo v, z ó fk kuzív hkáv ;ázük CR-: (SETQ SR (CAR (CDR (HANOI (CDR KR) () () )))) ; 1. p: ; dúdo v z y kbb ooy (SETQ CR (APPEND CR (LIST (CAR KR)))) ; 2. p: ; zooy ó koojá áük CR úd (SETQ CR (CAR (CDR (HANOI SR CR () ) ))) ; 3. p: ; mh SR kzdõúd zooy, my mo ; ákuk CR úd (LIST () CR () ) ; füvy vzdo k ) ) ) HANOI
A LISP pomozá pd A Ho oy füvy hzá * (HANOI (K4 K3 K2 K1) () () ) (NIL (K4 K3 K2 K1) NIL) Az áká foym yomokövhz PRINT füvyhíváok bz, vy yomköv öõ fuá v zük: * (TRACE HANOI) HANOI * (HANOI (K4 K3 K2 K1) () () ) ; yomo kövhjük füvyhíváok z kuá pmk. 5/ 27. Foá: Fuó Ivá: M Au Kdó,1999.
5/ 28. Bvz PROLOG pomozá yvb Jmzõ: Hoó PLANNER-hz kövkzõkb: Az jááok yk mz oá kük õ. E vzo bb, hoy bj bmõáíáok odj. A k uomku vzp (bk k) hjj v, my zob pomozó! (u, váá) opáo módoíh. Ez hõ mod ok pomozá dá kopóják: pomozó fd k ok pobm mdá, pobmíá omku kk pd pk k vz. Kowk kp: omu = ok + vz J kövkzõ: y omu md k kompo mz mp fomáb: ok özvõ, my mdj kd pobmá vokozó udá, vz özvõ, my mí modá á z do pobm.
5/ 29. A PROLOG jmzõ A Poo ovább jmzõ: Bvz kü ymbo ípu (dom), hoy pdkáumok dvduumko, -váozó -füvy vóá y z kpzhk. Foo dzkz. A fdoozá mz kuzó pu. A füvyk pdkáumfüvyk puk, küöb bmõ kmõ váozók közö. A bm áíáok (zbáyok, u) fomáum koáozo: P f Q d R d S. fj öz A fj y pdkáum, öz pd om fomuák (öbby pdkáumok, zz ok füvyk) áó m mzó kojukój (k d h).
5/ 30. A PROLOG jmzõ.. A Poo ovább jmzõ.. : Mv öz om fomuák kojukój, zz Ho-hmz, íy z modhjuk, hoy PROLOG Ho hmzok zoúó v kmzz. A fhzáó hyj zoúó mvóíáá: háy mzoíá bmõáíáok, z z bmõáíáok (u, yk zbáyok) mdo odjb hjódk v. A dz íy ömöbb yobb vhjá z hõv. A pdkáum oká pü, d vk k: Ck z mváozók kzdõdk ybûv. Íkook közü F (f) ká, Tu íváozók m kább foduk õ. Rdzpdkáumok zk, myk vm vzk közb z k vzk f. P.: d(). w(), (), b. Ifx (közbí) kú áóopáook (<,>, <=,>=,<>,=,><) mk opáook (+,-,*,/ ) pdkáumo k hy. P.: kbb(x,y) hy X<Y íhó.
5/ 31. A PROLOG jmzõ.. A Poo ovább pdkáum okáó: Eyõ áó y háyzó kû váozóják kp kzámí z k. P.: 5*7= X X=35 Amk kfjzk, mûv opáook vhjj. A zbáyokb zpõ f (:-) ok zmbóumo úy kz, m y fx kb hzá pá dz-pdkáumo, my PROLOG-ó y pá kkõ omu kívá. A zbáyok z omok (fõk pdkáumok ) uyoy módo kzdõ objkumokk mõük. Md íváozók kmzáá zbáyokb md hyíük zbáyokk. Kp mpuá já "dbázá" (z dzpdkáumok újá.) Kym [ Fj Töz ] k. [ ] z ü j. A modá foym pomozó á vz kmzz! j, my fom y om fomu. P.: f b d d! d d. A! (u) mváozj, övdí PROLOG Dph-F (my bjáá) omuá f ák bjááák ááv, z ák váááv.
5/ 32. A PROLOG jmzõ.. A PROLOG pomok fpík zköz-dzk zz õ kük y yzû fdo PROLOG pomjá! Imk z ább yk: Copá zbb Gáá. G zbb Uuáá. Kd: K okk zbb Uuáá? A fd mvázoáá km PROLOG pom: dom höy = ymbo pd o u zbb(opá,). zbb(höy, höy) okk_zbb(höy,höy) okk_zbb(vk, uu) zbb(, uu). okk_zbb(a,c ) f zbb(a,b ) d zbb(b,c ). 1. www.dom.om/ how.hm 2. www.mdv.om/oum/ dx.php3?coum=2 3. www.h.om/u/ 98my/uu.hm 1. 2. 3.
A PROLOG pomok z fukójuk dom Ez pomz - hoó y poduá yv, p. P ípudkáó zhz - pomb kmzo mk h páók, kk omáyá dj m. Ez omáy,. ípu h dz á do, vy pomozó á dká. A dz á yújo omáyok (ípuok): ymbo p.: m = ymbo A ymbo ípuú kook kbûv kzdõdõ zvk, p. h X m ípuú dvduumváozó, kü kphj kövkzõk: X:= ; X:= m; X:= p, b. h p.: bu = h A h ípuú dvíduumko y kk, my kü kph y h ípuú dvíduumváozó. P.: Kbu := 'k' 5/ 33. Foá: Mkáy Gyöy: Pook ELTE Mkoó ooz 7. Sk Shop, 1994
A PROLOG pomok z fukójuk.. A dz á yújo omáyok (ípuok).. : p.: mod = A ípuú dvíduumko y ASCII kká, my kü fvh y ípuú dvduumváozó. P.: Ipu := "Km kövkzõ p.: zm = Az ípuú dvduumkook y koáo zámomáyb õ z zámok (p.: -32768 - +32767), myk kü fvh y ípuú dvduumváozó. P.: Ez := -42 p.: vo = A ípuú dvíduumkook y koáo zámomáyb õ vó zámok, myk fvh kü y vó ípuú dvíduumváozó. P.: To := 32.43 5/ 34.
5/ 35. A PROLOG pomok z fukójuk.. Pomozó á dká omáyok: A omáy kkzk fooááv. P.: áy = b; y; jobb Ey áy ípuú dvíduumváozó háom dvduumko yk vh f kk. P.: Mu:= b Idvduumfüvy mdo omáy. P.: Mjyzk: x, y = ymbo fuoomy = fuo(x,y) A dká ípuokbó öz ípuok hozhók. A dom z hyhó, h k dz á yújo ípuok hzájuk. L mdá *-: p.: = * Az dvduumváozók -füvyk ípuá m k dká. Az, hoy my ípu bík, z kmzá hy á v mháozv. Sk mpuááá dzpdkáumok zk. www.mykd.o/ ym/boxh.hm
A PROLOG pomok z fukójuk.. pd Ez pomz pomb kmzo pdkáumok z zokb kmzo mk ípuák mdáá zoá. P.: vk(yk, yk) o A pdkáum objkumok jáák. z objkumok közö kpook, vzoyok, áók zmboku fomáb vó mdáá zoáó áíá. Ebb pomzb pomb mdo ykbõ zbáyokbó vzhõ áíá fomzhó m, myk z, vy hm voá kuk dzõ váz kp. Amyb váozó mz, dz oy váozók d m modák, mykk z áíá z, vy h z h, kko jz, hoy modá. 5/ 36.
A PROLOG pomok z fukójuk.. o.. Fomáj: yzû b y pdkáum, özbb b pdkáumokbó áó fomu. A pdkáumok özkpoáá hzáhó z, vy, vm m ok mûv. Fj kü zbáyk khjük. P.: d b o o vy: okk_zbb(vk, uu) vy: wdow d mod([,f],[u],[u],[,f]) A o pomz mdh, h DIALOG bkb kjuk z dödõ áíáuk f. 5/ 37.
5/ 38. A PROLOG pomok z fukójuk.. u Ez pomz zoá zbáyok yk fooáá. A zbáy fomáj: A zbáy v po á. A Fj y pdkáum. Fj f Töz. A Töz y fomu, my pdkáumok d ok opáookk özkpo ooz. A Fj áíá Töz áíák, fk füvyb h z, vy hm. Ffohó úy, hoy Fj Tözb zok mvóuáák füvy. Amyb Töz, zz Fj-b áíá fkhz köv, Tyõ bzük. A yk z kûk. Az zoo Fj-j dkzõ zbáyok k ymá kövõ ookb áhk. Émzû z zoo vû yk k ymá kövõ ookb áhk.
A PROLOG mûköd A mûköd k pvõ özvõj z z (mh) vzp (bkk). Ly: o-b f kd mpóbáj yáíáok vzvz. Amyb m zk zkdõ - vb mdo pmb yzõ - y, kko zkdõ zbáy k. H v zkdõ zbáy, kko z õbb pk mv mpóbáj zbáy Tözb võ fk kkv mháoz zbáy Fjk zák (Hááoá). Az öz hõ vpóbáááv mápíj, hoy kd jüh-, h, háyf módo. H póbákozá közb zákuáb ju - zkdõ y, vy zbáy -, vzp uoó ázá po, ho öbb z hõ közü kövkzõ vázj. 5/ 39.
A PROLOG mûköd.. 5/ 40.
5/ 41. A PROLOG mûköd.. Szm fáff: dom höy = ymbo pd zbb(höy, höy) o u Vk op B okk_zbb(höy, höy) okk_zbb(vk, uu) zbb(opá,). zbb(, uu). okk_zbb(a,c) f zbb(a,b) d zbb(b,c). o okk_zbb(vk, uu) A Vk C uu zbb(,uu) * u zbb(vk,b) d zbb(b,uu) A kí f hyjuk
5/ 42. A PROLOG mûköd.. Szm fáff: dom höy = ymbo pd zbb(höy, höy) o u Vk B uu záku okk_zbb(höy, höy) okk_zbb(vk, uu) zbb(, uu). A yk fük zbb(opá,). okk_zbb(a,c) f zbb(a,b) d zbb(b,c). o Vzp zbb(uu,uu) f okk_zbb(vk, uu) A Vk C uu zbb(vk,b) d zbb(b,uu) Vk op B zbb(,uu) *u A kí f hyjuk
A váá mûköd PROLOG-b Fomzzuk m PROLOG yv zóv ú md hozú zbáy kvv yü! Modá dó zbáyok: zóv_ú_hozú(kpu) f! d f. zóv_ú_hozú(ku) f! d f. zóv_ú_hozú(x). F hm k. o zóv _ú_hozú(kpu) No! d f. Nm. zóv_ú_hozú(x) ; kv ; kv ; ovább kvk ; ááo Eõbb váj z zkdõ uoó áíá áá, mjd f m vzp. Váá kü áp zóv_ú_hozú(x) áíá, X kpu z uá, m oz dmy d. 5/ 43. Foá: Fk - Fuó - L - Szd: MPROLOG pomozá yv Mûzk Köyvkdó Bp. 1989
A váá mûköd PROLOG-b Nzzük m háboú zó mûköd! zóv_ú_hozú(kpu) f! d f. zóv_ú_hozú(ku) f! d f. zóv_ú_hozú(x). o zóv _ú_hozú(háboú) Nm zkdk X háboú ; kv ; kv Y, X = háboú zóv_ú_hozú(háboú) ; ovább kvk ; ááo A kvk m zkdk, z uoó y vzo md zóv zkdk, íy háboú zó zúv_ú_hozú pdkáum z k d. 5/ 44. Foá: Fk - Fuó - L - Szd: MPROLOG pomozá yv Mûzk Köyvkdó Bp. 1989