Published package / CLIR
he.torah.arayot
v0.1.0Лев 18:6–18: закрытый перечень запрещённых родством браков
A package can be printed as a standalone module in a general-purpose language that answers without the rules engine: an answer and its status, with no proof, hashes or canonical document. Everything on this page comes from the generation plan built with the index; the gallery computes nothing of its own.
Generation plan
The plan builds: the package can be printed as a module.
- plan format
- law-backend-plan/0.9
- capabilities
- closure, negation
Checked against package scenarios
Not checked: the package scenarios have not been run against generated modules. A plan that builds does not yet show that the answers coincide.
Target languages
gopyts
refuse this plan · 13
bslверсия плана не поддержана эмиттером: 'law-backend-plan/0.9' (поддержана law-backend-plan/0.7)RUcsверсия плана не поддержана эмиттером: 'law-backend-plan/0.9' (поддержана law-backend-plan/0.7)RUdartверсия плана не поддержана эмиттером: 'law-backend-plan/0.9' (поддержана law-backend-plan/0.7)RUerlверсия плана не поддержана эмиттером: 'law-backend-plan/0.9' (поддержана law-backend-plan/0.7)RUexверсия плана не поддержана эмиттером: 'law-backend-plan/0.9' (поддержана law-backend-plan/0.7)RUjavaверсия плана не поддержана эмиттером: 'law-backend-plan/0.9' (поддержана law-backend-plan/0.7)RUktверсия плана не поддержана эмиттером: 'law-backend-plan/0.9' (поддержана law-backend-plan/0.7)RUluaверсия плана не поддержана эмиттером: 'law-backend-plan/0.9' (поддержана law-backend-plan/0.7)RUphpверсия плана не поддержана эмиттером: 'law-backend-plan/0.9' (поддержана law-backend-plan/0.7)RUrbверсия плана не поддержана эмиттером: 'law-backend-plan/0.9' (поддержана law-backend-plan/0.7)RUrsверсия плана не поддержана эмиттером: 'law-backend-plan/0.9' (поддержана law-backend-plan/0.7)RUscalaверсия плана не поддержана эмиттером: 'law-backend-plan/0.9' (поддержана law-backend-plan/0.7)RUswiftверсия плана не поддержана эмиттером: 'law-backend-plan/0.9' (поддержана law-backend-plan/0.7)RU
./law dev backend corpus/clir/he-arayot.lawir.json --target ts --target py --target go --out DIR
Module interface
Questions are public relations with a producing rule; inputs are the facts a question reads. Function names follow the language: ask_… in Python, ask.… in TypeScript, Ask… in Go.
Questions · 7
| Name | Parameters | Meaning | Reads | Sources |
|---|---|---|---|---|
| brother_of | text, text | the brother of | arayot_profile_activedistinct_personsfather_ofmalemother_of | leviticus/18/14article/18-14 |
| examined_pair | text | a pair whose descent has been traced on both sides | arayot_profile_activegenealogy_tracedpair_manpair_woman | leviticus/18/6article/18-6 |
| forbidden_by_list | text | the pair falls under a relation named in the list | alivearayot_profile_activedistinct_personsfather_offemalemalemother_ofpair_manpair_womantook_to_wifewife_of | leviticus/18/6article/18-6 |
| forbidden_relation | text, text | a relation named in the list of Leviticus 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 | the parent of | arayot_profile_activefather_ofmother_of | leviticus/18/9article/18-9 |
| permitted_by_list | text | the list names no relation for this pair | alivearayot_profile_activedistinct_personsfather_offemalegenealogy_tracedmalemother_ofpair_manpair_womantook_to_wifewife_of | leviticus/18/6article/18-6 |
| sister_of | text, text | the sister of | arayot_profile_activedistinct_personsfather_offemalemother_of | leviticus/18/9article/18-9 |
Inputs · 12
| Name | Parameters | Meaning |
|---|---|---|
| alive | text | in her life time |
| arayot_profile_active | an external interpretation/applicability profile activates this arayot model | |
| distinct_persons | text, text | two different persons |
| father_of | text, text | the father of |
| female | text | a woman |
| genealogy_traced | text | the descent of this person has been traced |
| male | text | a man |
| mother_of | text, text | the mother of |
| pair_man | text, text | the man of the pair |
| pair_woman | text, text | the woman of the pair |
| took_to_wife | text, text | take her to wife |
| wife_of | text, text | the wife of |