Integrating Logic Programs and Schemata

Abstract

Willi . (l lorn cl :tusc'/Sd le rrl a ll.• · pr< 'SI' IILat.i on l .a n p; u ap;e ) is l.l1< ' res11ll. ol' an l'llo r t. l.o I'OIIIhin•· t.he llll'Liwd s or lo p; ic: pro f\ r:tflln: il q; an d s• ·lll' lll:t-basPd knowledge n·pr<·s<·nl.al.ion int.o a s ingle hy brid sys l.l' lll . l11 IISII.L, knowl• · d t~ ' ! •·x pr essed in sc hem :tl. :t <":til hP ar•'< ''" l'd durin p; t.be ex••cul.ion or lo t~ie programs, and t.he rel.ri<•v:d .. r I h< • va lu< 's or a slot. in a Sl'lll' lll a ra11 involv<! !.he exee ul.ioll or lo gic: prop;ra iiiS !.bat. at.t.e 111pl. l.o d ed 11 1:e Lh< ! va lu< !S prior t.o r!' so rtin ); t.o inhNiLan<'<', s honld Lh<• s lol. IH' !'Il l pLy. IISI/.L supports t il e illq>II ' III PIIL aL ion or prOf';I";J.JliS LhaL Lake :u l va i!L ar~e or the bl'sL l'< ·a Lur!'s or Ll1< · lo giral and obje~:L - orie11Led approachi!S t.o k11 ow ledg <! represe nl .al.ion.