Computational Law Step by Step

A two-part computational-law book for engineers and legal technologists: source-traceable rule models, logic, deontics, defeasibility, policy engines, calculators, testing and computability limits, followed by corpora, citation graphs, search, extraction, grounded QA, evaluation, ranking guardrails, research assistants, provenance, abstention, and human handoff. Volume: Computational Law

From Prose to Rule Models

Logic Programming and SMT

Deontic Modeling

Defeasibility and Exceptions

Isomorphic Encoding and Traceability

Rule Engines and Policy-as-Code

Statutory Calculators

Testing Legal Code

Limits of Computability

Part I Capstone: Audited Eligibility Calculator

Legal Corpora Engineering

Citation Parsing and Graphs

Legal Search

Classification, NER, and Extraction

Retrieval-Augmented Legal QA

Evaluating Legal AI

Importance and Authority

Part II Capstone: Grounded Research Assistant

Dual Capstone