
eff-logic

eff-logic (frame logic) anedi ghnaana praatinidhyam mariyu antology bhasha. eff-logic anedi object-oriented, frame-aadhaarita bhaashalatho sambhaavita modeling yokka prayojanaalanu militam chestundi mariyu declarative, compact mariyu saralamaina vaakyanirmanaanni, alaage tarka-aadhaarita bhasha yokka baga nirvachinchabadina ardhashaastraanni andistundi. 
itara lakshanaalalo, vastuvu gurtimpu, sanklishta vastuvulu, vaarasatvam, bahuroopata, prasna paddhatulu, encapsulation unnaayi. eff-logic anedi object-oriented prograamingku adhe sambandhamlo untundi, classical relational calculus anedi relational database prograamingku sambandhinchinadi.
sameeksha.
eff-laajiknu stoney brook vishwavidhyaalayamlo maikhel kiffer mariyu mannheim vishwavidhyaalayamlo georg lausen abhivruddhi chesaaru. eff-logic modata deductive databasela kosam abhivruddhi cheyabadindi, conny ippudu tarachugaa semantic technologyla kosam, mukhyamgaa semantic web kosam upayoginchabadutundi. eff-logic anedi antologyla formalismlalo okatigaa pariganinchabadutundi, ayithe dl aadhaarita gudlaguba vale vivarana tarkam (dl) marinta prachuryam pondindi mariyu aamodinchabadindi.
eff-logic kosam abhivruddhi vaataavaranam nion prajectlo abhivruddhi cheyabadindi mariyu samachara samaikyata, prasna samadhanam mariyu ardha shodhana kosam aneka rakaala anuvartanaallo kooda upayoginchabadutundi. protez antology editor yokka version 4 kii mundu, eff-logic rendu rakaala antologylalo okatigaa maddatu istundi.
varald wide web consortium dwara praamaaneekarinchabadina ruul interchange formatt basic logic mandalikam (riff bld) yokka frame vaakyanirmaanam eff-logicpy aadharapadi untundi; ayithe riff bld eff-logic yokka ekaswamya tarkam kaani lakshanaalanu kaligi undadu.
antology formalism aadhaaramgaa vivarana tarkaaniki viruddhamgaa, eff-logic yokka ardhashaastram saadhaaranamgaa dl yokka open varald oohaku viruddhamgaa closed varald oohaku viruddhamgaa untundi. alaage, eff-logic saadhaaranamgaa nirnayinchalenidi, ayithe 
gudlaguba dl aadhaaramgaa unna shine vivarana tarkam nirnayaatmakamainadi. ayithe vivaranaatmaka tarkaalatoe saadhyamayye daanikante eff-logiclo marinta vyakteekarana prakatanalanu soochinchadam saadhyamavutundi.
eff-logic yokka atyanta samagra vivarana 1995loe prachurinchabadindi. 1989 nundi vacchina praathamika patrika 1999 test off time avaardunu acm sigmode nundi geluchukundi. 1992 nundi vacchina oka tadupari paper ACM sigmode nundi 2002 test off time avaardunu geluchukundi.
f-logic vaakyanirmaanam.
taragatulu mariyu vyaktulanu eee krindi vidhamgaa eff-logiclo nirvachinchavacchuh
 vyaktih vyakti.
 streeh vyakti.
 broad manishi.
 angelina stree.
idhi "purushulu mariyu mahilalu vyaktulu" mariyu "broad oka purushudu" mariyu "angelina oka mahila" anie perkondi.
taragatulu mariyu vyaktula gurinchi eee krindi vidhamgaa prakatanalu cheyavachuhu
 vyakti [hasson => myaan].
 broad [hasson-> {madox, poxes}].
 vivaham (broad, angelina).
idhi "oka vyakti kumarudu purushudu", "madax mariyu poxes broad kumaarulu" mariyu "broad mariyu angelina vivaham chesukunnaru" anie nirvachistundi.
adanamgaa, eee krindi paddhatiloo eff-logiclo suutraalanu soochinchadam saadhyamavutundihi
dheeni ardham "x anedi purushudu, x anedi oka vyakti ayithe conny stree kaadu" mariyu "x anedi y yokka kumarudu ayithe x anedi oka vyakti mariyu y anedi x yokka tandri".
(gamanikah taruvaati anumanam vaastavikamainadi kaadu, endukante tandrulatoe paatu, kumaarulaku kooda tallulu untaaru.
x yokka lingam aavarana dwara nirnayinchabadutundi, conny y yokka lingam kaadu.)
flora-2 vyavastha eff-logic vaakyanirmaanamlo aneka maarpulanu pravesapettindi, idhi kevalam saiddhaantika tarkaaniki badulugaa ghnaana praatinidhyam mariyu tarka vyavasthaku marinta anukuulamgaa untundi. mukhyamgaa, chararaasulu a thoo mundugaa jodinchabaddaayi?-maark, functional mariyu bahula-viluva lakshanaala madhya vyatyaasam tolaginchabadindi mariyu cardinality parimitulu, inca itara mukhyamaina maarpulatoe bharti cheyabadindi. udaaharanaku, paina perkonna rendu vakyalu flora-2loe ilaa kanipistaayih
ikkada default niraakarana undhi ("naaf" anedi vaiphalyamgaa niraakarananu suuchistumdi, baga sthaapinchabadina ardhashaastram aadhaaramgaa); vrukshajaalam-2 kooda spashtamaina niraakarana anie pilavabade daaniki maddatu istundi, idhi shaastreeya tarkamlo niraakaranaku daggaragaa untundi.