Computational logic is a rule-based approach that encodes laws and procedures into structured logical rules, and this chapter examines its use in expanding access to justice. By encoding laws into structured if–then statements, these systems translate complex legal language into navigable decision trees for unrepresented litigants. This technology is particularly effective in procedurally clear domains, such as tax and housing law and protection orders, offering transparent reasoning that users can understand and verify.

This chapter examines how computational logic reduces costs, enhances efficiency, and facilitates explainable decisions, but it also highlights several limitations: its rigid structures struggle with ambiguous legal concepts, cannot provide counterfactual reasoning, and may perpetuate unjust laws through consistent application.

Future developments are exploring hybrid approaches that combine the transparency of computational logic with the adaptability of machine learning, particularly through case-based reasoning. While these systems cannot replace human legal judgment, they offer powerful tools for democratizing access to legal guidance in procedurally defined domains.