Built something? We create video reels & spotlights for GitHub projects.Promote your project →
>GitHubRepo
Promote your project
Catalog / edm92 / defaultlogic
Public GitHub Catalog Discovered Oct 1, 2026

edm92 / defaultlogic

Written by Evan Morrison, a default logic reasoner based on Reiters Default logic, this is a lightweight and incomplete implementation of a default logic reasoner. No decision procedure has been documented for this tool and it will only produce results for a subset of default logic problems.

View repository on GitHub ↗ View creator profile Browse directory

About this discovery

This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.

#22424971GitHub System ID
edm92Organization / User
PublicVisibility
ActiveCatalog Status

More from edm92

FOR MAINTAINERS

Built something? Put it in front of millions of developers.

We make a short reel about your project and post it across YouTube, Instagram, Threads, and X. Send a link, we do the rest.

Promote your project