PYTHEN: A Flexible Framework for Legal Reasoning in Python

Ha-Thanh Nguyen, Ken Satoh
3/16/2026
cs.CL

No confident code implementation found for this paper. 4 possible matches can be shown below.

Abstract

This paper introduces PYTHEN, a novel Python-based framework for defeasible legal reasoning. PYTHEN is designed to model the inherently defeasible nature of legal argumentation, providing a flexible and intuitive syntax for representing legal rules, conditions, and exceptions. Inspired by PROLEG (PROlog-based LEGal reasoning support system) and guided by the philosophy of The Zen of Python, PYTHEN leverages Python's built-in any() and all() functions to offer enhanced flexibility by natively supporting both conjunctive (ALL) and disjunctive (ANY) conditions within a single rule, as well as a more expressive exception-handling mechanism. This paper details the architecture of PYTHEN, provides a comparative analysis with PROLEG, and discusses its potential applications in autoformalization and the development of next-generation legal AI systems. By bridging the gap between symbolic reasoning and the accessibility of Python, PYTHEN aims to democratize formal legal reasoning for young researchers, legal tech developers, and professionals without extensive logic programming expertise. We position PYTHEN as a practical bridge between the powerful symbolic reasoning capabilities of logic programming and the rich, ubiquitous ecosystem of Python, making formal legal reasoning accessible to a broader range of developers and legal professionals.

View on arXivView PDF

Code Implementations

No confident code match yet

We couldn't find an author-owned or strongly-evidenced community implementation for this paper. 4 weaker matches are hidden by default — verify before relying on them.

No code implementations found yet.

Know of an implementation? Let us know in the comments below!

Similar Papers

Towards Supporting Legal Argumentation with NLP: Is More Data Really All You Need?

87% match2024

FÆRDXEL: An Expert System for Danish Traffic Law

84% match2024

AF-XRAY: Visual Explanation and Resolution of Ambiguity in Legal Argumentation Frameworks

83% match2025

Equitable Access to Justice: Logical LLMs Show Promise

83% match2024

Automated legal reasoning with discretion to act using s(LAW)

82% match2024

OLG++: A Semantic Extension of Obligation Logic Graph

82% match2025

Cite this paper

@article{nguyen2026pythen,
  title  = {PYTHEN: A Flexible Framework for Legal Reasoning in Python},
  author = {Ha-Thanh Nguyen and Ken Satoh},
  year   = {2026},
  eprint = {2603.15317},
  archivePrefix = {arXiv},
  url    = {http://arxiv.org/abs/2603.15317v1}
}

Add a badge to your README

Shows whether official code is linked for this paper.

Code of Paper badge
[![Code of Paper](https://codeofpaper.com/badge/2603.15317.svg)](https://codeofpaper.com/paper/2603.15317)

Discussion