Изменения

Catala позволяет выражать общую логику случаев/исключений, характерную для нормативно-правовых документов [[Статутное право|статутного права]].  

Catala позволяет выражать общую логику случаев/исключений, характерную для нормативно-правовых документов [[Статутное право|статутного права]].  

៛== Пример использования ==

== Пример использования ==

Catala аннотирует законодательные тексты с помощью их перевода в код. Вот краткий пример из Налогового кодекса США:

Catala аннотирует законодательные тексты с помощью их перевода в код. Вот краткий пример из Налогового кодекса США:

<code>

<code>

./section_132.catala_en

./section_132.catala_en

42 scope QualifiedEmployeeDiscount :

42 scope QualifiedEmployeeDiscount :

43  definition qualified_employee_discount

43  definition qualified_employee_discount

44    under condition is_property consequence

44    under condition is_property consequence

45  equals

45  equals

46    if employee_discount >=

46    if employee_discount >=

47      customer_price * gross_profit_percentage

47      customer_price * gross_profit_percentage

48    then customer_price * gross_profit_percentage

48    then customer_price * gross_profit_percentage

49    else employee_discount

49    else employee_discount

</code>

</code>