介绍
本文仍在撰写中，设计与解说的改进空间都还很大。
本设计以一种谓词逻辑模型为中间层，以运算符文法出发点，将其功能逐渐改进而适于日常交流。这些都是众所周知的方案，并且尽量不设不必要的限制，比如：虽然用量词举了例子，但完全不排除可以用于一个无通常的逻辑量词的语言设计的情况。 根本目的是使大部分逻辑语言设计者可以理解其内容，并借此明确每一步的困难，使其成为一个评判对象或可协同改进的案例。
一部分是基础知识简介。如果你熟悉程序语言中的表达式与函数，可以快速略过标题带*的部分。 有实质内容的部分是
重要内容速览
声调标记
声调1 |
声调2 |
谓词元数 |
插槽交换 |
自动填充的插槽 |
返回值 |
运算符元数 |
|---|---|---|---|---|---|---|
\ |
\ |
1 |
原型 |
无 |
1 |
1 |
/ |
/ |
1 |
原型 |
1 |
1 |
0 |
\ |
/ |
2 |
原型 |
2 |
2 |
1 |
/ |
\ |
2 |
原型 |
1 |
1 |
1 |
— |
/ |
2 |
原型 |
无 |
1 |
2 |
— |
\ |
2 |
逆序 |
无 |
1 |
2 |
/ |
— |
2 |
原型 |
无 |
2 |
2 |
\ |
— |
2 |
逆序 |
无 |
2 |
2 |
余下的一种音调组合 — — 用于波兰表示法，在运算符结合之前解析，主要用于对高阶函数的支持。
例句
甲小于12且是最小的。
翻译为
téfú súmā fású māxī sùmà