esher (prograaming longuage)

escher (m kii paeru pettaru. sii. esher, "eah master off inlites loops") anedi zhe abhivruddhi chesina functional prograaming mariyu logic prograaming models rendintikee maddatu ichhe declarative prograaming longuage.doubleu. 1990la madhyalo lloyd. idhi ekkuvagaa parisoedhana mariyu bodhanaa vahanamga roopondinchabadindi. esher mariyu sambandhita bhashalu pradarsinchina prograaming yokka praathamika drukpatham emitante, oka programme anedi konni tarka chatramlo oka siddhaantaaniki praatinidhyam vahistundi, mariyu programme yokka amalu (ganana) anedi siddhaantam nundi minahaayimpu. esher kosam tarka chatram anedi alonzo charchi yokka rakaala yokka saralamaina siddhaantam.
esker, mukhyamgaa, hashkell shaililo 'bayati prapanchaanni' soochinche monadic rakam dwara ii/oo kii maddatu istundi.
esher designerla lakshyaalalo okati meta-prograaming kuu maddatu ivvadam, anduvalla prograamlanu roopondinchadaaniki mariyu maarchadaaniki bhashaku samagra maddatu undhi.
udaaharanalu.
module lambda.
vyaktini nirminchandi/0.
function jaine, maerii, john vann-> purson.
function mother vyakti * vyakti-> booliyan.
talli (x, y) =>
 x = jaine & y = maerii.
function bharyah vyakti * vyakti-> booliyan.
bhaarya (x, y) =>
 x = zaan & y = jaine.
function premitiverail (vyakti * vyakti-> booliyan)-> booliyan.
primitiveral (aarr) =>
 r = talli\/ r = bhaarya.
function rell (vyakti * vyakti-> booliyan)-> booliyan.
rell (aarr) =>
 primitiveral (aarr) \/
 (konni [r1, r2]
 (r = lambda [u] (konni [z] (r1 (fst (u), z) & r2 (z, snd (u)))))) &
 primitiveral (r1) & primitiveral (r2))).

