Logic programming : proceedings of the 1999 International Conference on Logic Programming

632 Pages·2000·95.147 MB·English

by  Danny De Schreye

Logic Programming
CopyrighMtaetde rial
LogicP rogramming
Proceedionftg hse 1 99I9n ternatiCoonnalf ereonncL eo gic
Programming
editbeydD annDye S chreye
The MIT Press
CambridgeM,a ssachusetts
LondonE,n gland
CopyrighMtaetde rial
© 19M9a9s sachuseItntsst itoufTt eec hnology
All rightrse servNedo.p art oft hibso okm ayb er eproduciena dn yf ormb ya ny
electroonrmi ecc hanimceaaln s( includipnhgo tocopyriencrgod,in g, ori nformation
storagaen dr etrievwailt)h opuetrm issiionnw ritifrnogm thep ublisher.
Thisb ookw asp rintaendd b oundi nt heU niteSdt ateosfAm erica.
ISSN1 061-0464
ISBN0 -262-54104-1
CopyrighMtaetde rial
Contents
Program Committee
xi
TheAs sociatiofno Lorgi c Proamgrmi ng
xiii
SerieFso reword
xv
Preface xvii
Referees xix
InvitedT alks
DeclaratiPvreo grammingf oarM essWyo rld 3
FernandPoe reira
Logicasn dD atabasMeo deling 6
Bernhard Thalheim
Adventuinr tehsPre o loTgr ade 22
KenB owen
AnsweSre Ptl anning 23
VladimiLri fschitz
LogicP roamgrming in Ozw itMho zart 38
PeteVra nR oy
ProgramA nalysiDse,b ugginagnd,O ptimizaUtsiiontngh Cei aSoy stem
Preprocessor 52
ManueVl. H ermenegiFlrdaon,c iBsucoe noGe.r manP ueblaan,d P edro
LOpez
FromP rolaongdZ eldto aT oonTalk 67
KenK ahn
Contributed Papers
DisjunctLoigviePc rogramswi thI nheritance 79
FrancesBcuoc cafurriW.o lfgaFnga bera,n dN icolaL eone
EvenPtr.o perantdy H.i erarcin hOyr der-SLoogrtedi c 94
KenK aneiwaa ndS atosThoij o
TemporParlo babiLoligisctP irco grams 109
AleDxe khtyaMri.c haeIl.D ekhtyaandr ,V .S .S ubrahmanian
CopyrighMtaetde rial
vi
An OptimiPrzoeldEo ngc odionfTyg p edF eatSurteru ctures 124
GeralPde nn
A GenericA pproatcohM onitoPrro gram Executions 139
ErwanJ ahiearn dM ireiDlulcea sse
GeneratDiendgu ctiDvaet abeaE sxplanations 154
SaraMha lleatn dM ireiDlulcea sse
ComputiLnagr gaen dS malSlt abMloed els 169
MiroslnTwr uszczynski
AlgeborfaL ogciP rogamrming 184
SilviSjerae s,M ichaSepli veayn,d T onyH oare
SemantDiecfi nitiofnosNr o rmalO penPr ograms 200
FernandOor ejaasn dE lviPrai no
DeclaratiPvrieo riitnya ConurcrentLo gic LanguagOeN 215
KeijHii rataan dK enicYhaim azaki
RevisinHgul la ndB oxC onsistency 230
FrederBiecn hamoFur,e deriGocu alardL,a ureGnrta nvillainedr s,
Jean-FranPt;uogiest
CLAffiE:C ombiningS etsS,e arcahn,d R uletos B ettEexrp reAslsg orithm2s4 5
YveCsa seaFur,a nr;ois-XJaosvsieetar,n dF ranr;oLiasb urthe
HerbraCnodn straSionltving in HAL 260
BarDte moenM,a ria Garciade laB anda, WarwicHka rveyK,i m
Marrioatntd,P eteJr.S tuckey
Comparing TrailainndgC opyifnogCr o nstraPirnotgram ming 275
ChristSicahnu lte
Stack-splitting: Or-lAnodn-D piasrtarilblueMtleeimdso mr yM achines 290
GopaZG uptaan dE nricPoo ntelli
MutablTee rms ina TableLodg icP rogramminSgy stem 305
BaoqiCuu ia ndD aviSd. W arren
Conurcrenciyn P roloUgs inThgr eadsa nda ShareDda tabase 320
ManueCla rraon dM anueHle rmenegildo
ProvinTge rminatioofIn n put-ConsuLmoigincPg r ograms 335
Jan-GeoSrmga us
CopyrighMtaetde rial
vii
BoundeNdo ndeterminismo fLo gicP rograms 350
Dino PedrescahnidS alvatRourgeg ieri
TerminatioAnn alysfiosAr b ductGeinveer aLolg iPcr ograms 365
Sofie Verbaeten
TheR elatiCvoem plemPernotb lfeoHmri gher-POartdteerrns 380
AlberMtoom igliaannod F ranPkf enning
ExtensionoafSl iimtpyTypl eyd LogiPcr ograms 395
MarcB ezem
LightweiLegmhmta si nAP rolog 411
AndrewW .A ppealn dA myP .F elty
Well-founded AvbidTaua cbtliDeoudna P lr ograms 426
JosJeu liAol ferLeusis,M onizP ereiarnad,T erranScwei ft
OptimizoafDt iisojnu nQcuteirviee s 441
SergiGor eco
Well-fouSnedmeadn tbiyTrc asn sformatTihoeNn o:n -groCuansde 456
UlricZhu kowskain dB urkharFrde itag
Monotoniinci Rtuyl Bea seUdp date 471
YanZhang
TransfoIrminndgu cDteiftnivtei ons 486
MaurizPiroo ieatntdiA lberPteot torossi
Binding-time AnfaolMrye sricsu ry 500
Wim Vanhooafn dM auricBer uynooghe
SolvTiSnPgwi thTi meW indowiwtsh C onstraints 515
FilipFpooc accMii,c helMai lanaon,d A ndreLao di
FindFinagiAl rlo catifootnrhs Ce o aliPtrioobnlw eimtC ho nstraint5s3 0
EvanT ickR,o lanH.d C.Y apa,n dM ichaJe.lM aher
ConstrainRto-ubnRados beidn TournaPmleanntnin g 545
MartiHne nz
LogiPcr ogrammiwintgh R equests 558
SandrEat alalned F emkev anR aamsdonk
ACIlC onstraints 573
AgostinDoo uieCra,r lPai azzEan,r icPoo ntelalnidG, i anfranRcoos si
CopyrighMtaetde rial
viii
DeclaratiPruninvge in a FunctionalQ ueryL anguage 588
MauricOisoo riBoh,a raJta yaramaann,dJ uanC arlNoise ves
PosteAbrs tracts
AddingFuctions toS ICStuPrso log 605
TiborA svanyi
SymboilcE xecutiofno trh eD erivatoifMo ena ningPfulr opertsio efH ybrdi
Systems 606
AngelEo.M .C iarlainndiT homF ruhwirth
ItI sD eclarative 607
WlDdzimieDrzr abent
Domainsa sF irsCtl asOsb jecint sC LP(FD) 608
MarcoG avanelElvie,l iLnaam ma,P aolaM ellaon,d MicheMlial ano
A CharacterizoaftAi cocne ptayb ilit 609
PascaRlit zlaenrd A nthonKya reSle da
A StatAincal ySifso Crl assiLcinaelar LogicP rogramminLgan guage 610
Kyoung-SKuann ga ndN aoyukiT amura
IsoinitiMaold elfso Lorg icP rogramsS:o meP reliminary Results 611
Kung-KLiauu a ndM ariOor naghi
ImplementPinrgo lwiotgh C hronologiGcaarlb agCeo llection 612
XininLgi
A RegulTypare AnalysiosfL ogiPcr ograms 613
LunjiLnu a ndJ ohnG .C leary
UsinSgt atAincal ysitsoC ompileN on-sequeFnuntcitali onal Logic
Programs 614
JuliMoa rinaon dJ uanJ osMeo reno-Navarro
PractiIcnavle stigoaftC ioonns traiwnittGshr apVhi ews 615
TobiasM ullre
GeneralizUenfdo ld/foTrladn sformatiSoyns temfso Nro rmal Logic
Programs 616
AbhiRkoy choudhuK.ry ,N arayaKnu mara,n dI. V.R amakrishnan
ReactiLvoeg iPcr ogramminbgyR einforcemLeenarnitn g 617
TaisuSkaet aon dS atosFhuin ada
CopyrighMtaetde rial
ix
A Linear TablingM echanism 618
Neng-FaZ hou,Y i-DonSgh enL,i -YaYnu ana,nd Jia-HuYaoiu
AuthoInrd ex 619
CopyrighMtaetde rial
Program Committee
AnnalisBao ssi Universdii Vtelin ezCiliaF ocsari,I tlay
MatsC arlsson SICSS,w eden
PhilippeC odognet INRlA,F rance
VeronicDaahl SimoFnr aseUrn iversCiatnya,d a
AndreDwa vison AsianI nstitoufTt eceh nologyThai,l and
MarfaG arciad el aB anda MonasUhn iversAiutsyt,r alia
BartD emoen KatholieUknei versiLteeuivteB ne,l gium
Danny DeS chre(yCeh air) KatholieUknei versiLteeuivteB ne,l gium
Jili'genD ix UniversoifKt oyb lenzGe,rm any
Burkhard Freitag Univeristoyf P assaGeurm,an y
GopalG upta( GeneralC hair) NewM exicoSt ateU niversUiStAy ,
MichaHeanlu s RWTH AacheGne,rm any
SteffeHno lldobler UniversiotfDyr esdeGne,rm any
AndyKin g UniversoifKt eyn tUK,
FaribaS adri ImperiaClo llegLoen donUK,
GiorgiLeovi Universdii Ptliis a, Iatly
DaleM iller PennS tatUen iversUiStAy ,
LuisM oniPze reira UnivN.o vad eL isboa, Portugal
RaghuRam akrishnan UniversoifWti ys consinU,S A
PeteSrt uckey Univesrtiy ofM elbourne ,A ustralia
MireTruks zczyflski UniversiotfKy e ntucUkSyA,
KazunoriU eda Waseda UniveJraspiatny ,
PascValan Hentenryck UniversiCtateh oliqueLo uvainB,e lgium
PeteVran Roy UniversiCtea tholiLoquuvea inB,e lgium
AndreVio ronkov UppsaUlniav ersiStwyed,e n
CopyrighMtaetde rial
TheA ssociatifoonrL ogicP rogramming
The Associatiofno Lorgi c Programming (ALP) wasf oundedin 198.6I na ddition
to the ICLP'99 conferenbceein gh elind Las CrucesN,e w Mexico,U SA,fro m
November 29 to December4 ,1 999t,h eAL P has sponsoredI nternational
ConferencaensdS ympo sia in Melbourne (9187)S,e att(l1e9 88L)is,bo n (9189),
Clevel(a1n9d8 9J)eru,s alem( 9190)A,us tin (1990P)a,ri s( 1991S)a,n Diego
(9191)W,a shington D.C.( 1992B)u,d apes(t1 993V)an,co uver (1993S)an,ta
MargheritaLi gure(1 994I)t,ha ca,N ewY ork( 1994Kanag)a,w a (1995P)ort,l and,
Oregon (1995B)a,d H onnef (9196)Leu,v en (1997P)o,rt J efferson,N ew York
(1997an)d, M anchesterU,ni ted Kingdom( 9198)Th.e proceedings o fal lt hese
meetings are publishbedy Th e MIT Press.
TheAs sociations ponsowrosr kshopcosn,tri butess upportto othemree tings
relatoted logpicr oamgmingr, and provildimietsed supportf oartte ndance ati ts
sponsored confearnedwn ocrekssh opbsyp articipinant finasn cial need. Members
receivteh eA ssociationn'esw sletteqruarter ly and can subscribtoe t heJ ournaolf
Logic Programminga ta reducedr ate.
The affairs oft heAs sociation are overseebnyt heE xecutiveC ouncil.C urrent
membersar e PhilippeC odogneVte,r onicDaa hlD,an nyD eSc hreyeJ,o xan Jaffar,
Catuscia PalamidePsestieS,rt uckeanyd, P eterSz eredi;As sociatiPorn esident:
Knysztof Aptan; d PastPr esideDnatvi:dSco tt Warren.Th e currento fficerosf
theAs sociationar e:Ro bert Kowalski,S ecretary; FrancesTcao ni,Tr easureanrd
ConfereBncued geAtu ditor;V eroniDcahla, ConferenCocoer dinator; and Patricia
Hill,N ewsletEtdietorr .
Furtherinf ormatioanbo utt heAs sociatiomna yb eo btainedfro m:
CheryAnld erson-Deakin
ALP Administrative Secretary
ICSTM,DOC
180Q ueen'Gsa te
LondonS W72 BZ
Tel+:44 (1715)9 48 226
Fax:[phone]
e-mail: [e-mail]
CopyrighMtaetde rial