Опубликованный пакет / CLIR
la.aquinas.summa.i_ii_gratia
v0.1.0Sancti Thomae de Aquino, Summa theologiae I-II, quaestiones 109-114
Пакет можно напечатать самостоятельным модулем на языке общего назначения, который отвечает без движка правил: ответ и статус, без доказательства, хэшей и канонического документа. Всё на этой странице взято из плана кодогенерации, построенного вместе с индексом; витрина ничего не вычисляет сама.
План кодогенерации
План строится: пакет печатается модулем.
- формат плана
- 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-gratia.lawir.json --target ts --target py --target go --out DIR
Интерфейс модуля
Вопросы — публичные отношения с производящим правилом; входы — факты, которые вопрос читает. Имена функций следуют языку: ask_… в Python, ask.… в TypeScript, Ask… в Go.
Вопросы · 8
| Имя | Параметры | Смысл | Читает | Источники |
|---|---|---|---|---|
| can_merit_increase | text | пребывающий в благодати заслуживает возрастание | in_gracepresented | section/114-3/respondeo |
| cannot_merit_first_grace | text | первую благодать человек не заслуживает | before_first_gracepresented | section/114-1/respondeo |
| cannot_prepare_alone | text | без помощи Бога человек не готовится к благодати | presentedwithout_auxilium | section/109-6/respondeo |
| god_justifies | text | один Бог оправдывает нечестивого | justification_consideredpresented | section/112-1/respondeo |
| grace_in_soul | text | благодать полагает нечто в душе | habitual_grace_givenpresented | section/110-1/respondeo |
| grace_is_auxilium | text | помощь Бога, движущего к благу | divine_auxilium_givenpresented | section/111-1/respondeo |
| justification_is_remission | text | оправдание нечестивого есть отпущение грехов | impius_presentedpresented | section/113-1/respondeo |
| needs_grace_for_merit | text | без благодати человек не заслуживает | presentedwithout_habitual_grace | section/109-2/respondeo |
Входы · 9
| Имя | Параметры | Смысл |
|---|---|---|
| before_first_grace | text | before_first_grace |
| divine_auxilium_given | text | divine_auxilium_given |
| habitual_grace_given | text | habitual_grace_given |
| impius_presented | text | impius_presented |
| in_grace | text | in_grace |
| justification_considered | text | justification_considered |
| presented | text | предмет предъявлен к оценке |
| without_auxilium | text | without_auxilium |
| without_habitual_grace | text | without_habitual_grace |