Опубликованный пакет / CLIR
he.torah.arayot
v0.1.0Лев 18:6–18: закрытый перечень запрещённых родством браков
Пакет можно напечатать самостоятельным модулем на языке общего назначения, который отвечает без движка правил: ответ и статус, без доказательства, хэшей и канонического документа. Всё на этой странице взято из плана кодогенерации, построенного вместе с индексом; витрина ничего не вычисляет сама.
План кодогенерации
План строится: пакет печатается модулем.
- формат плана
- law-backend-plan/0.9
- возможности
- closure, negation
Сверка сценариями пакета
Не сверено: сценарии пакета на порождённых модулях не исполнялись. Построенный план ещё не показывает, что ответы совпадают.
Целевые языки
gopyts
отвергают этот план · 13
bslверсия плана не поддержана эмиттером: 'law-backend-plan/0.9' (поддержана law-backend-plan/0.7)csверсия плана не поддержана эмиттером: 'law-backend-plan/0.9' (поддержана law-backend-plan/0.7)dartверсия плана не поддержана эмиттером: 'law-backend-plan/0.9' (поддержана law-backend-plan/0.7)erlверсия плана не поддержана эмиттером: 'law-backend-plan/0.9' (поддержана law-backend-plan/0.7)exверсия плана не поддержана эмиттером: 'law-backend-plan/0.9' (поддержана law-backend-plan/0.7)javaверсия плана не поддержана эмиттером: 'law-backend-plan/0.9' (поддержана law-backend-plan/0.7)ktверсия плана не поддержана эмиттером: 'law-backend-plan/0.9' (поддержана law-backend-plan/0.7)luaверсия плана не поддержана эмиттером: 'law-backend-plan/0.9' (поддержана law-backend-plan/0.7)phpверсия плана не поддержана эмиттером: 'law-backend-plan/0.9' (поддержана law-backend-plan/0.7)rbверсия плана не поддержана эмиттером: 'law-backend-plan/0.9' (поддержана law-backend-plan/0.7)rsверсия плана не поддержана эмиттером: 'law-backend-plan/0.9' (поддержана law-backend-plan/0.7)scalaверсия плана не поддержана эмиттером: 'law-backend-plan/0.9' (поддержана law-backend-plan/0.7)swiftверсия плана не поддержана эмиттером: 'law-backend-plan/0.9' (поддержана law-backend-plan/0.7)
./law dev backend corpus/clir/he-arayot.lawir.json --target ts --target py --target go --out DIR
Интерфейс модуля
Вопросы — публичные отношения с производящим правилом; входы — факты, которые вопрос читает. Имена функций следуют языку: ask_… в Python, ask.… в TypeScript, Ask… в Go.
Вопросы · 7
| Имя | Параметры | Смысл | Читает | Источники |
|---|---|---|---|---|
| brother_of | text, text | брат лица | arayot_profile_activedistinct_personsfather_ofmalemother_of | leviticus/18/14article/18-14 |
| examined_pair | text | пара, у которой прослежено родословие обоих лиц | arayot_profile_activegenealogy_tracedpair_manpair_woman | leviticus/18/6article/18-6 |
| forbidden_by_list | text | пара подпадает под отношение, названное перечнем | alivearayot_profile_activedistinct_personsfather_offemalemalemother_ofpair_manpair_womantook_to_wifewife_of | leviticus/18/6article/18-6 |
| forbidden_relation | text, text | отношение, названное в перечне Лев 18 | alivearayot_profile_activedistinct_personsfather_offemalemalemother_oftook_to_wifewife_of | leviticus/18/16article/18-16leviticus/18/15article/18-15leviticus/18/14article/18-14leviticus/18/12article/18-12leviticus/18/8article/18-8leviticus/18/11article/18-11leviticus/18/10article/18-10leviticus/18/7article/18-7leviticus/18/13article/18-13leviticus/18/9article/18-9leviticus/18/18article/18-18leviticus/18/17article/18-17 |
| parent_of | text, text | родитель лица | arayot_profile_activefather_ofmother_of | leviticus/18/9article/18-9 |
| permitted_by_list | text | перечень не называет для этой пары ни одного отношения | alivearayot_profile_activedistinct_personsfather_offemalegenealogy_tracedmalemother_ofpair_manpair_womantook_to_wifewife_of | leviticus/18/6article/18-6 |
| sister_of | text, text | сестра лица | arayot_profile_activedistinct_personsfather_offemalemother_of | leviticus/18/9article/18-9 |
Входы · 12
| Имя | Параметры | Смысл |
|---|---|---|
| alive | text | лицо живо |
| arayot_profile_active | an external interpretation/applicability profile activates this arayot modelEN | |
| distinct_persons | text, text | два различных лица |
| father_of | text, text | отец лица |
| female | text | лицо женского пола |
| genealogy_traced | text | родословие лица прослежено |
| male | text | лицо мужского пола |
| mother_of | text, text | мать лица |
| pair_man | text, text | мужчина рассматриваемой пары |
| pair_woman | text, text | женщина рассматриваемой пары |
| took_to_wife | text, text | взял женщину в жёны |
| wife_of | text, text | жена лица |