Опубликованный пакет / CLIR

`la.aquinas.summa.i_de_sex_diebus`

v0.1.0

Sancti Thomae de Aquino, Summa theologiae I, quaestiones 65-74

Пакет можно напечатать самостоятельным модулем на языке общего назначения, который отвечает без движка правил: ответ и статус, без доказательства, хэшей и канонического документа. Всё на этой странице взято из плана кодогенерации, построенного вместе с индексом; витрина ничего не вычисляет сама.

План кодогенерации

План строится: пакет печатается модулем.

формат плана: 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-de-sex-diebus.lawir.json --target ts --target py --target go --out DIR

Интерфейс модуля

Вопросы — публичные отношения с производящим правилом; входы — факты, которые вопрос читает. Имена функций следуют языку: ask_… в Python, ask.… в TypeScript, Ask… в Go.

Вопросы · 3

Имя	Параметры	Смысл	Читает	Источники
bodies_from_god	text	телесная тварь — от Бога	`creature_presentedpresented`	`section/65-1/respondeo`
formless_matter	text	бесформенность материи предшествовала образованию	`creation_consideredpresented`	`section/66-1/respondeo`
seventh_day_rest	text	Бог в седьмой день почил	`creation_consideredpresented`	`section/74-1/respondeo`

Входы · 3

Имя	Параметры	Смысл
creation_considered	text	creation_considered
creature_presented	text	creature_presented
presented	text	предмет предъявлен к оценке