Catala：一种从立法文本中导出算法的语言。
Catala 是一种特定于领域的语言，用于从立法文本中派生算法。它允许在高度保证法典忠实性的情况下实施社会财政机制。该语言是与法律专业人士合作设计的，模仿法律的逻辑结构。它是唯一将默认逻辑嵌入为顶流函数的编程语言，使其非常适合文字立法编程。
Catala 是一种适用于社会财政立法文学编程的编程语言。通过用法典的含义来注释立法文本的每一行，人们可以推导出复杂的社会财政机制的实施，该机制在法典的忠实性方面享有高度的保证。
具体来说，你必须首先收集所有包含你想要实施的社会财政机制信息的法律、行政命令、以往的案例等。然后，您可以在您最喜欢的文本编辑器中逐篇注释文本。
一旦您的代码完成并经过测试，您就可以使用 Catala 编译器生成律师可读的 PDF 版本的实现。Catala 语言是与法律专业人士合作专门设计的，以确保代码可以由领域专家（在本例中是律师而不是程序员）审查并证明其正确性。
特殊之处在于它的逻辑结构模仿了法律的逻辑结构。事实上，萨拉·劳斯基教授在她的文章《法规的逻辑》中正式阐述了建立在默认逻辑基础上的“条件下的定义”的核心概念 。据我们所知，Catala 语言是唯一将默认逻辑嵌入为一流功能的编程语言，这就是为什么它是唯一完全适合文字立法编程的语言。
Catala 是法国国家计算机科学研究所 Inria 的一个研究项目。该编译器还不稳定并且缺乏一些功能。
《黑客新闻》上的讨论探讨了使用编程语言编写法律的概念：
- 一些用户认为，法律已经是用相对正常的语言编写的，复杂性在于法律概念本身。
- 其他人则认为，类似于编程语言的更加结构化的格式将使法律更容易理解。
- 关于编程语言是否可以提高法律文件的清晰度和可访问性的争论仍在继续。