Predicate logic with rule composition
-
Updated
Jan 4, 2025 - Ruby
Predicate logic with rule composition
Logica is a framework to reify and work with predicates.
This repository contains programs in the Ruby Programming Language.
Add a description, image, and links to the predicates topic page so that developers can more easily learn about it.
To associate your repository with the predicates topic, visit your repo's landing page and select "manage topics."