It is based on mathematical logic - based language function, based on the lambda calculus.
它是以数学逻辑为基础的函数式语言, 基于lambda演算.
相关词汇
itpron. 它，他，正好是所需的，事实[情况]；n. <美俚>傻瓜，笨蛋，<俚>绝妙的人，理想的东西，登峰造极；
isvt.& vi. 是（be的三单形式；n. 存在；
basedadj. 有根基的，有基地的；v. 立基于，以…为基础(base的过去式和过去分词)；
onprep. （表示方向）向，（表示对象）对，（表示位置）在…上，（表示时间）在…之时；adv. （放，穿，连接）上，向前，（继续）下去；adj. 活动着的情况，状态，使用着的，发生着的，计划中的；
logicn. 逻辑，逻辑学，（做某事的）道理，推理方法，威力，压力，强制（力）；adj. 逻辑的；
languagen. 语言，语言文字，表达能力，言语，语风，文风，文体，专门用语，术语；
functionn. 功能，作用，应变量，函数，职务，重大聚会；vi. 有或起作用，行使职责；
theart. 指已提到的人（物），指说话人与听者已知的人（物），用于独一无二的事物前，与形容词最高级和序数词连用；
calculusn. [医]结石，石，积石，牙垢，[数]运算，演算，微积分（学）；