
warren amoort machine

1983 madhye, david etch. dii. warrenne prastavna amalat aananyasathi eka amoort yantra tayar kele aahe jyat smrutee rachana aanee soochana sanch aahe. hii rachana warren abstract machine (doubleu. aii. emm.) mhanoon olakhali jaau lagali aanee prolog compilersasathi "vastavik" manak lakshya banale aahe.
uddesh.
prolog code adhik nimn-stariy wamm kodmadhye sankalit karnyacha uddesh prolog programcha tyanantarcha arth adhik karyaksham banavane haah aahe. prolog kodache bhashantar wamm soochananmadhye karane vajavipane sope aahe, jyacha adhik karyakshamatene arth lavala jaau shakato. tasech, tyanantarchya code sudharana aanee mool kodache sankalan adhik nimn-stariy pratinidhitvavar karane anekada sope asate.
karyaksham prastavna karyakram lihinyasathi, wamm kase karya karate yachee moolbhut samaj fayadeshir tharoo shakate. pratham yuktivad anukramanika aanee nivad-bindunshi tyacha sambandh, tail coll optimization aanee apayshababat smrutee punarprapti yaa kahee sarvat mahattvachya wamm sankalpana aahet.
smrutee kshetra.
wammadhye khaleel smrutee kshetra aaheth
udaharanadakhal.
yethe prastavna kodacha eka tukada aaheh
 mulgi (sally).
 mulgi (jaine).
 mulga (buub):-\ + mulgi (buub).
doubleu. aii. emm.-aadharit prolog compiler heey khalilpramane doubleu. aii. emm. soochananmadhye sankalit karelah
 andaj (mulgi/1):
 switch _ aun _ term (2,1, ayashasvi, ayashasvi, ayashasvi),
 label (1): switch _ aun _ anoo ([(sally, 3), (jaine, 5)])
 label (2): prayatna qaraa (4)
 label (3): gett _ etum (sally, 0)
 pudhe jaa
 label (4): trust _ mea _ ellis _ phela
 label (5): gett _ etum (jaine, 0)
 pudhe jaa
 andaj (mulga/1):
 chull midwa (x (1), 0)
 putt structure (mulgi/1,0)
 ektrikaran qaraa (x (1))
 karyanvit qaraa ((\+)/1)])
yaa sanketache eka mahattvache vaishishtya mhanje jyaa vividh paddhatinmadhye andaj vyakt kele jaau shakatat tyanchyashi samna karanyachi tyachi kshamatah konatahi yuktivad eka chull, moolbhut sandnya kinwa anshatah twarit sandnya asoo shakato. switch" soochana vegvegalya prakarananna hatalatat.