
oohaatmaka bhasha

deductive longuage anedi computer prograaming longuage, dheenilo programme anedi predicatelu ('vaastavaalu') mariyu vaatini anusandhaaninche niyamaala samaharam. atuvanti bhasha ghnaana aadhaarita vyavasthalu ledhaa nipunula vyavasthalanu roopondinchadaaniki upayoginchabadutundi, ivi samasyalaku samaadhaanaalanu nirnayinchadaaniki niyamaalanu avi icchina vaastavaalaku vartimpajeyadam dwara nirnayinchagalavu.
deductive longuage kii udaaharana prologue ledhaa daani database-kwarii kazin, datalogue.
charitra.
paeru suuchimchinatlugaa, deductive longuages deductive reasoning suutraalaloo paatukupooyaayi; prastuta ghnaanam aadhaaramgaa anumitulu cheyadam. computer prograamlanu suuchimchadaaniki clausel logic roopaanni upayoginchaalane modati sifaarsu stanford research institute (ippudu shree international) loe cardell green (1969) chae cheyabadindi. eee aalochananu prarambha krutrima medhassu vyavasthalalo vidhaanaparamaina mariyu prakatanaatmaka samachara praatinidhyaala madhya pooraatamtoe kooda mudipettavacchu. deductive longuages mariyu logic prograaminglo vaati upayogam kooda adhe samvatsaramlo foster mariyu elcock modati deductive/logic prograaming longuage absisnu pravesapettinappudu teedeeni cheppavacchu. kontakaalam tarvaata, robbert kovalsky sahakaaramtho 1972loe kolmeraur modati prologue vyavasthanu pravesapettaaru.
bhagalu.
deductive longuage yokka bhagalu adhikaarika tarkam yokka vyavastha mariyu tarkam vartimpajeyabade ghnaana aadharam.
adhikaarika tarkam.
adhikaarika tarkam anedi adhikaarika vishayaalaku sambandhinchi anumiti yokka adhyayanam. adhikaarika mariyu anadhikaarika tarkam madhya pratyeka lakshanam emitante, munupati sandarbhamlo, kantentku vartinche taarkika niyamam paristhitiki nirdishtamainadi kaadu. sandarbham loe maarputho sambandham lekunda chattalu untaayi. deductive longuage yokka upayogaalanu pradarsinchadaaniki modati-arder logic krindi udaaharanalo vivarinchabadinappatikii, adhikaarika vyavastha tappanisari kaadu mariyu bhasha niyamaalu ledhaa vyaakaranamlo nirdishta vyavastha yokka upayogam nirvachinchabadindi.
inputgaa, oka predicate aasakti unna domainloni edainaa vastuvu (lanu) teesukoni rendu booliyan viluvalalo okadaanni avtput chestundih nijamaina ledhaa tappudu. udaaharanaku, "barak obama 44va adhyakshudu" mariyu "eee roeju varsham padithe, neenu godugu testaanu" anae vaakyalanu pariganinchandi. modatidi anubandha satyam viluva kaligina prakatana. rendavadi itara prakatana viluvapai aadhaarapade sharatulatho kuudina prakatana. eee vakyalalo deeninainaa pridiketlugaa vibhajinchavachhu, veetini polchi, deductive longuage yokka ghnaana punaadini roopondinchavacchu.
antekakunda, 'barak obama' ledhaa 'president' vanti chararaasulanu lekkinchavacchu. udaaharanaku, 'barak obama' nii 'x' chararaasigaa teesukondi. x" anae vaakyamlo 'x' undhi, antey 'x' adhyakshudu ayithe, 'x' commander inn cheef."idhi modati arder logiclo existential quantifierku udaaharana. president' nuu 'vai' variable gaa teesukondi. prati 'y' kii, 'y' vaari deshaaniki nayakudu."idhi saarvatrika parimaanakaaniki oka udaaharana.
ghnaanaaniki punaadi.
vaastavaalu' ledhaa anchanaalu mariyu chararaasula sekarana anedi oka deductive longuage yokka ghnaana punaadini yerparustundi. bhashanu batti, ghnaana praatipadika lopala eee anchanaala prakatana kramam taarkika niyamaalanu vartimpajese phalitaanni prabhaavitam cheyavachu ledhaa prabhaavitam cheyakapovachhu. konni 'niyamaalu' ledhaa anumitulanu vartimpajesina taruvaata, kotta anchanaalanu ghnaana sthaavaraaniki jodinchavachhu. kotta vaastavaalu sthaapinchabadinappudu ledhaa jodinchabadinappudu, avi kotta nirdhaaranalaku aadharam avtayi. prarambha nipunula vyavasthalaku kendramgaa, nipunulaina maanavuni vanti nirnayaalu teesukogala krutrima medhassu vyavasthalu, databasela kante ghnaana sthaavaraalu ekkuva samacharanni andinchaayi. avi taragatulu, upavargaalu mariyu sandarbhaalato kuudina nirmaanaatmaka daetaanu kaligi unnaayi.
prastaavana.
prologue anedi oka deductive, declarative longuage kii oka udaaharana, idhi oka naledge bays kii modati-arder logic nuu vartimpajestundi. oka prograamnu prolaglo amalu cheyadaaniki, oka prasna veyabadutundi mariyu inference injin mariyu naledge bays looni nirdishta vaastavaala aadhaaramgaa, phalitam tirigi vastundi. injin mariyu rakam vyavasthanu batti, kotta sambandham ledhaa predicate nundi booliyan (nijamaina/tappudu) vanti aksharaarthaaniki taginadi edainaa kaavacchu.
suuchanalu.
vargamkampyootar prograaming
database

