Hanák, Dávid

Szeredi, Tamás

Hanák Dávid

Szeredi Tamás

University of Szeged

| ä ôtÏáóÀó É | äjä ÷HÒtÒs÷ Ê @ô Ê ÏóÀöø ÉHÊ ôtËlôTÒõ >k º é­³Xn3>é³Xn º Ý ³Xt>X»h´XmX±m º k  ª zy e d a z   g .dLzy g}e dLyj _ S ª'g  _fg}eX2 Sd _ ¿jSz e  g .dLR  z _ dL Ï'^ z e_g .O'¢«  QS _ S¢ g .Á_g}eX2 d _  ª Q e d _ O eX_^ z×cSl eXg9^ O'zO e QSQSR ^`  ^%aaj^`a SdLyP e .zVy.Q e d _ O eX_f^ zVO'l e z  YXN e  e  gª'g .QS _ ¿d2yP ^ z ^ Q e d _ O eX_^ zyP ^ ¢ g  _g}eX22^`g Sz e .Q ^ yP ^ zVy e .QSz5l g}g9^ Q e yPS.dz ^ yP× ^`^ d O'zO e QSQRdO 2^%g Slf eXg  e .Q ^ z e d a­Ï d a yP ^  e QSO ^ z×c ^`g9^ yP ^ z ^ l.dzy g}e SdyPzL.Q a ¿%j ^§  ª Q e d _ O eX_^PeX SQSR e zz ^  ^`g}e Q@ g}e dl ^ z aj^ ¢ ^ d a Sd _ .dØyP ^  eXg  e .Q ^Ea  2e SdzX¿%LO'zF× ^  e dz¢ ^`e    ª jPY%×c ^%g9^yP ^  eXg  e .Q ^ z e d e  ^ ...Q ^`e d e QSO ^ zVY   ª ¬ e d a  ª ü)×c ^`g9^ yP ^  e QO ^ z eXg9^§gÞ^`e Q@ g'g}e yPS.d e QdO   ^%g z g9^ zV¢ ^ lyPS ^ QR¶Y   ª F×c ^`gÞ^ yP ^  e QSO ^ z eXg9^ SdLy ^`_^`g zY e d a« bc¬Y eØ  g9^_^ d ^`g S¦× e R   e d a QSSd _ l.dzy g}e SdyPzY.×c ^`g9^ yP ^ ¢ g  _fg}eX22^`g|aj^`Ï d ^ zßyP ^a  2e Sd¿Aj ^ RÄ e  ^ Sd2l 2 .d e .d.yP.dL.O'zQSR _fg .×­Sd _ l.dzVy gÐe SdLyLzyP gÞ^ yP ^`^ ¢cy g}e l  l.dzy g}e SdyPzI¿d   ª PYjfzy e d a z   g©Ï dSy ^­a  2e dLYF ^  e O'z ^ SdxyP ^ l.dzy g}e SdyzyP g9^c^`e lx eXg  e .Q ^ Szg9^ ¢ gÞ^ z ^ dLy ^`a .RyP ^¦Ï dLy ^ z ^ yL  Sdy ^`_^`g  e QSO ^ z§×­LSlÄSy' e d#y e  ^ ¿ ^ z ^  eXg  e .Q ^ z eXg9^ l.dd ^ ly ^`a.R­yP ^ l.dzVy gÐe SdLyPzY.×cSl2¢ g .¢ eX_e y ^ yP ^ l e d _^   yP ^©a  2e Sd2  .d ^  eXg  e .Q ^ yP­yP ^a  2e dLz  .yP ^%g zX¿5{ l.dzVy gÐe SdLy e dá ^ yP.O _ Lyß  QS ^e zQ ^`^ ¢'d _ Ñ ajeX^` .dÑ×cSlá× e  ^ zØO'¢á×c ^ dyP ^a  2e Sd  Ae yFQ ^`e zy*.d ^   yPz eXg  e .Q ^ z¦zEl e d _f^%a Yf¢ g .¢ eX_e y ^ zsyP ^ l e d _^e d a Pe QQSz e zQ ^`^ ¢eX_e Sd¿jSzl e d _^  e d  ^ Sd a O' ^%a .R e d.yP ^%g l.dLzy g}e Sdy| g .R yP ^ Q e  ^ QSQSSd _ ¢ g . ^ zVzY'×cSl^ dLO 2^`g}e y ^ zEyP ^ z.QSO'yPS.dzE.R ^ dO 2^`g}e yPSd _2e QSQ*¢'.zVzS.Q ^  e QO ^ z  yP ^  eXg  e .Q ^ zI¿©j ^`g9^eXg9^ yP×c2eVµ  g   ¢'Q ^%2^ dy e yPS.d¨y ^ ldLåO ^ z   gß  ª Fl.dLzy g}e SdyPz Ç Sd aj^ Å e QSz e d a«_ QS. e Qjl.dzy g}e SdyPzI¿j ^  g}2^`ge QS× e Rz.¢ ^`g}e y ^ .d eÄÏ Å ^`a dO   ^`g    eXg  e .Q ^ z×cSQ ^ yP ^ Q e yPy ^`geXg9^c  g9^_^ d ^`g Se d a  e dÄ×c g ×cSyP e  eXg  e .Q ^ dLO   ^`g    eXg  e .Q ^ zI¿Ij ^ z ^ l.dLzy g}e dLyPz eXg9^ O'zVO e QQSRØ e d a Q ^`a  ^`g Ra  <P^`g9^ dyPQSR   g*^%<Ï l ^ dlR g9^`e z.dLzI¿\  ß\ yPO'z ª'g .Q _ SdlQSO aj^ z e dâ  ¢'Q ^`2^ dLy e yP.dÚ  z ^  ^`g}e Q   ª Q e d _ O eX_^ zI¿ ª'g .QS _e z e L.zyQ e d _ O eX_^ Sz e  ^`g R _ . a lL.S ^ Y ^  e O'z ^ yP ^#Ï d a Sd _   yP ^ z.QSO'yPS.dz g9^ åO' g9^ z e ly g}e lSd _ Y×cSl2Sz e O'd ajeX2^ dy e QLd.yPS.d#Sd ª'g .QS _ yP.¿   ª   ¢'Q ^`2^ dy e yPS.dz   g .yP ^%g dL.dÁPQS _ SlAL.zyQ e d _ O eX_^ z.dyP ^ .yP ^`g  e d aâ O'zVy ^ Å¢'QSlSyPQSR«SdlQSO aj^#e  e lfy g}e l ^`g ¿ \  ß\ yPO'z e QSz£dLlQSO a^ z e_^ d ^%g S e d a¨^ Å@y ^ d a .Q ^©aj^ .O __^`gF  g|g9^`_ O'Q eXgª'g .QS _ Y.O'y'z PeXg|e y g}e lSd _ yP..Q   g  ª j× e z SzzSd _ ¿c{d a zSd ^­  ª ¢ g  _g}eX z a .d Î y g O'dxSdQSd ^`eXg  g9aj^`g .O'y ^  e  ^#g}e yP ^`g QSS ^­e z ^ y§ l g .O'yPSd ^ zY`Sy g9^ åfO' g9^ z eE_g9^`e y ^%<  g yLyPy g}e  ^ yP ^` ×­SyPyP ^ª'g .Q _aj^ .O __f^%g ¿j ^E2e Sd#¢'O g ¢'.z ^   × g SyPSd _ j¤ ×cSl­zy e d a z   g dLSy ^Ea  2e SdÄ ^ O'¤ _f^%g L× e z§yP ^ dÁe .Q ^  ª ß¢ g  _g}eX22^`g zyP y g}e  ^ yP ^ l e d _f^ z ßÏ dLSy ^Äa  2e SdÚl.dLzy g}e dLy§ eXg  e .Q ^ zI¿¯O g_  e Q§× e zcy g}e  ^ yP ^ × e  ^ ÁPO'¢ä  l.dzy g}e SdyPz e d a z ^%^ yP ^  g^`<P^ lyPzc.dâ eXg  e .Q ^ zY e zc× ^ QQ e zcQ e Á ^ QSQSSd _«^  ^ dLyPzI¿ ^  e O'z ^c  ª ¢ g  _gÐeX z g O'd a  <P^`g9^ dyPQSR«yP e d gÞ^`_ O'Q eXg¦ª'g .QS _ ¢ g  _g}eX z a ¨× ^l.z ^ d.yMyP  ¢'Q ^`2^ dy e y g}eXa yPS.d e QzVy ^ ¢'ÁP.RÁPzy ^ ¢ aj^ .O __^`g .O'y.yP©O'z ^ yP ^ × e QSQS¢ e ¢ ^`g y g}e  ^ y ^ lÁdSåO ^ Sdzy ^`eXa ¿FjSz 2^`e dzyP e y ^  ^`g R#¢' ^  ^   d   g}2e yP.d¨SzE¢ g Sdy ^%a .d2yP ^ l.dLz.Q ^ YyP eÏ Q ^ Y g z 2^ yPSd _ z  SQ eXg Y e d a#e dR¢'.y ^ dyP e Q.O _2e R ^ .O'd a .RØzyPO a RSd _ yPSzQ _eX y ^`g yP ^sg O'dcSzl  ¢'Q ^ y ^ ¿jO ^ yP­yP ^  a O'Q eXg§e d a ë ^ ÅS.Q ^aj^ z _ d#  j¤©Y e_g}e ¢'S e Q Pg .dLyPÁ ^ d a¨2e R ^`e zVQSR ^eXaaj^`a Q e y ^`g YISd Pe lyPY× ^se Q g9^`eXa RØ e  ^ ¢'Q e dz|Sd­yP e y gÞ^ z¢ ^ lyÐ¿j ^ y g}e  ^ .O'yP¢'O'yfSz e z ^ åfO ^ d ^   QS _Ø^ dLy g  ^ zX¿@ e l ^ dLy g Rl g}g9^ z¢'.d a z|yP e  ª  ^  ^ dyPY ed.yPS.d2Sdy g  a O' ^%a .Rj¤c¿%¯d ^_g .O'¢  A^  ^ dyPz g9^ ¢ g9^ z ^ dLy'yP ^ × e  ^ ÁPO'¢ e d a«e lyPSfSyPR  l.dÁzy g}e SdyPzI¿ \ O'l ^  ^ dLyPz aj^ zV g S ^ ×­LSl#l.dzVy gÐe SdLy0Sz e lyPS ^ lO g}g9^ dyPQSR e d a L.× a  ^ zSy'd eXg}g .× yP ^a  2e Sdzß   eXg  e .Q ^ zX¿'j ^ .yP ^%g|_g .O'¢#d   g} z e ..O'y'yP ^ ¢ g . ^%^`a d _ z  Q e  ^ QSQSd _ Y.l.dy e SdSd _aje y e .dØyP ^ zVy g O'lyPO g9^   yP ^ z ^`eXg lØy g9^%^ Y%zL.×cd _ yPz e lyPS ^e d a­Pe SQ ^`a  g}e dl ^ zI¿%j ^e ¢'¢ ^%eXgÐe dL ^  yP ^ Q _^ dy g  ^ z e dÄ ^  eXg  ^%a2Pg9^`^ QSRØ.RØyP ^ ¢ g  _gÐeX22^%g ×cz _ S ^ d e z ^ yf  yP..QSzyP¢ g . ^ zVzyP ^^  ^ dyPzI¿ìSQSy ^`g z 2e R e QSz ^se ¢'¢'Q ^`a­^`e zSQSRyP g9^%a O' ^ yP ^ z ]X^   yP ^ Q _ ¿%O ^ yPy ^ ldLS e Q g9^`e Áz.dLz*.dQSR _ QS. e QMl.dzVy gÐe SdLyPz eXg9^  e d a Q ^`a .Rj¤©Yìd aj^ Å@S e QSz eXg9^  _ d g9^%ae QyP _^ yP ^`g ¿ìbc.× ^  ^`g Y.R ^ Å¢'QS.SyPd _e z¢ ^ l e Q P^`e yPO g9^  \  ß\ yPO'z   ª PYIyPSzz e Q g9^`eXa R ^ dL.O _ yP e yPl ^  ^`g R ^  ^ dLy e ¢ g  _g}eX ×cSl a  ^ zd Î yfO'z ^e dLRØz ^ Q  ÁP× g SyPy ^ dØSd aj^ ÅS e QzX¿É ÃySz©  ¢' g y e dyyP 2^ dLyPS.d£yP e yj¤ × e z©× g yPy ^ d e Q  .zy ^ dLyP gÞ^ QSR¨Sd ª'g .Q _5e zO'z ^%g z¢ e  ^l aj^ Yjd¨d e yPS ^Äg .O'yPd ^ z× ^`g9^ O'z ^%aJa  g9^ lyPQSR@¿j¤ gÞ^`e l ^`aJe Q ^  ^ QA  l  ¢'Q ^ y ^ d ^ zz©.R d.××c ^`gÞ^ SyAl.O'Q a  ^ SdlQSO aj^`a ×cSyP  O'QSQ'z.O g  ^ Sd yP ^   Ï l e Q \  ß\ yPO'z a Szy g S.O'yP.d Pg    ^`g zS.dÉ ¿ ÊXYI×cSlc eX2^ .O'ySd­ ^  g O eXg RZX[X[XZf¿É g

FDBG, a CLP(FD) debugger for SICtus prolog : [abstract]

http://acta.bibl.u-szeged.hu/59659/1/cscs_2002_037-038.pdf

FDBG, a CLP(FD) debugger for SICtus prolog

Abstract

Similar works

Full text

Available Versions

University of Szeged