法律是现代社会的基础，编纂和管理公民日常生活的许多方面。通常，法律在各个法院和司法管辖区都受到解释、辩论和质疑。但在其他一些领域，法律几乎没有解释的余地，其实质目的是严格描述计算、决策程序，或简单地说，就是算法。（banq：法律也是一种遵循逻辑的语言体系）
但是法律由于缺乏真正形式逻辑推演由此留下了模糊的空间；法律法规的结构，许多段落和小节分散在多个页面上，这使得很难计算出指定某段文本基础算法的预期结果；与任何其他指定不当的关键软件一样，法律语言这种非形式语言的使用使得一些零碎角落案例得不到解决。
我们引入了catala，这是一种我们专门设计的新编程语言，旨在将成文法直接和系统地翻译成可执行实现。旨在通过共享媒体将律师和程序员聚集在一起，他们可以一起理解、编辑和发展，弥合经常导致法律实施严重错误的差距。