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

`de.grimm.geisslein`

v0.1.0

Drohung des Wolfs gegen den Müller

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

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

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

формат плана: law-backend-plan/0.16
возможности: defeasible, negation, norm, priority, priority:dated

Сверка сценариями пакета

совпало 20 из 20 сценариев на ts, py, go

статусы ответов: FALSE_ONLY 2 · NEITHER 11 · TRUE_ONLY 7

Исходы закреплены в манифесте ворот потребителя; ворота обязаны их повторить.

Целевые языки

печатают этот планgopyts

отвергают этот план · 13

bsl версия плана не поддержана эмиттером: 'law-backend-plan/0.16' (поддержана law-backend-plan/0.7)
cs версия плана не поддержана эмиттером: 'law-backend-plan/0.16' (поддержана law-backend-plan/0.7)
dart версия плана не поддержана эмиттером: 'law-backend-plan/0.16' (поддержана law-backend-plan/0.7)
erl версия плана не поддержана эмиттером: 'law-backend-plan/0.16' (поддержана law-backend-plan/0.7)
ex версия плана не поддержана эмиттером: 'law-backend-plan/0.16' (поддержана law-backend-plan/0.7)
java версия плана не поддержана эмиттером: 'law-backend-plan/0.16' (поддержана law-backend-plan/0.7)
kt версия плана не поддержана эмиттером: 'law-backend-plan/0.16' (поддержана law-backend-plan/0.7)
lua версия плана не поддержана эмиттером: 'law-backend-plan/0.16' (поддержана law-backend-plan/0.7)
php версия плана не поддержана эмиттером: 'law-backend-plan/0.16' (поддержана law-backend-plan/0.7)
rb версия плана не поддержана эмиттером: 'law-backend-plan/0.16' (поддержана law-backend-plan/0.7)
rs версия плана не поддержана эмиттером: 'law-backend-plan/0.16' (поддержана law-backend-plan/0.7)
scala версия плана не поддержана эмиттером: 'law-backend-plan/0.16' (поддержана law-backend-plan/0.7)
swift версия плана не поддержана эмиттером: 'law-backend-plan/0.16' (поддержана law-backend-plan/0.7)

Напечатать модуль из рабочей копии репозитория

./law dev backend corpus/clir/de-sieben-geisslein.lawir.json --target ts --target py --target go --out DIR

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

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

Вопросы · 2

Имя	Параметры	Смысл	Читает	Источники
identified_as_wolf	text, text	опознан как волк по признаку, названному наставлением	`knockedmarker_presentreading_edition`	`weisung/2lines/3lines/4`
presumed_mother	text, text	козлята приняли стоящего за дверью за мать: ни один названный признак не обнаружился	`knockedmarker_presentreading_edition`	`lines/4lines/5`

Входы · 3

Имя	Параметры	Смысл
knocked	text, text	по этому изданию названный стучал в дверь и назвался матерью
marker_present	text, text, text	признак наличествует у стоящего за дверью и предъявлен козлятам
reading_edition	text	дело читается по этому изданию