Опубликованный пакет / CLIR
la.aquinas.summa.i_ii_fine
v0.1.0Sancti Thomae de Aquino, Summa theologiae I-II, quaestiones 1-5
Пакет можно напечатать самостоятельным модулем на языке общего назначения, который отвечает без движка правил: ответ и статус, без доказательства, хэшей и канонического документа. Всё на этой странице взято из плана кодогенерации, построенного вместе с индексом; витрина ничего не вычисляет сама.
План кодогенерации
План строится: пакет печатается модулем.
- формат плана
- law-backend-plan/0.8
- возможности
- defeasible, negation, status:not_known
Сверка сценариями пакета
Не сверено: сценарии пакета на порождённых модулях не исполнялись. Построенный план ещё не показывает, что ответы совпадают.
Целевые языки
gopyts
отвергают этот план · 13
bslверсия плана не поддержана эмиттером: 'law-backend-plan/0.8' (поддержана law-backend-plan/0.7)csверсия плана не поддержана эмиттером: 'law-backend-plan/0.8' (поддержана law-backend-plan/0.7)dartверсия плана не поддержана эмиттером: 'law-backend-plan/0.8' (поддержана law-backend-plan/0.7)erlверсия плана не поддержана эмиттером: 'law-backend-plan/0.8' (поддержана law-backend-plan/0.7)exверсия плана не поддержана эмиттером: 'law-backend-plan/0.8' (поддержана law-backend-plan/0.7)javaверсия плана не поддержана эмиттером: 'law-backend-plan/0.8' (поддержана law-backend-plan/0.7)ktверсия плана не поддержана эмиттером: 'law-backend-plan/0.8' (поддержана law-backend-plan/0.7)luaверсия плана не поддержана эмиттером: 'law-backend-plan/0.8' (поддержана law-backend-plan/0.7)phpверсия плана не поддержана эмиттером: 'law-backend-plan/0.8' (поддержана law-backend-plan/0.7)rbверсия плана не поддержана эмиттером: 'law-backend-plan/0.8' (поддержана law-backend-plan/0.7)rsверсия плана не поддержана эмиттером: 'law-backend-plan/0.8' (поддержана law-backend-plan/0.7)scalaверсия плана не поддержана эмиттером: 'law-backend-plan/0.8' (поддержана law-backend-plan/0.7)swiftверсия плана не поддержана эмиттером: 'law-backend-plan/0.8' (поддержана law-backend-plan/0.7)
./law dev backend corpus/clir/la-summa-i-ii-fine.lawir.json --target ts --target py --target go --out DIR
Интерфейс модуля
Вопросы — публичные отношения с производящим правилом; входы — факты, которые вопрос читает. Имена функций следуют языку: ask_… в Python, ask.… в TypeScript, Ask… в Go.
Вопросы · 6
| Имя | Параметры | Смысл | Читает | Источники |
|---|---|---|---|---|
| acts_for_end | text | всякий деятель действует ради цели | human_act_presentedpresented | section/1-1/respondeo |
| delight_belongs | text | для блаженства требуется наслаждение | happiness_consideredpresented | section/4-1/respondeo |
| happiness_is_last_end | text | блаженство — последняя цель человека | man_presentedpresented | section/1-8/respondeo |
| man_can_attain | text | человек может достигнуть блаженства | man_presentedpresented | section/5-1/respondeo |
| not_in_wealth | text | блаженство не в богатстве | presentedwealth_proposed | section/2-1/respondeo |
| vision_is_perfect_happiness | text | совершенное блаженство — в видении божественной сущности | essence_seenpresented | section/3-8/respondeo |
Входы · 6
| Имя | Параметры | Смысл |
|---|---|---|
| essence_seen | text | essence_seen |
| happiness_considered | text | happiness_considered |
| human_act_presented | text | human_act_presented |
| man_presented | text | man_presented |
| presented | text | предмет предъявлен к оценке |
| wealth_proposed | text | wealth_proposed |