Straightforward unification in Python that's extensible via generic functions.
-
Updated
Oct 20, 2025 - Python
#
unification
Here are 15 public repositories matching this topic...
AI Physicist, a paradigm with algorithms for learning theories from data, by Wu and Tegmark (2019)
simplification symbolic-regression unification lifelong-learning ai-physicist differentiable-divide-and-conquer
-
Updated
Feb 20, 2021 - Python
Logic Programming in Python
computer-algebra minikanren logic-programming sat-solver unification relational-reasoning relational-programming
-
Updated
Sep 28, 2021 - Python
Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python
-
Updated
Mar 1, 2023 - Python
Prolog implemented in Python
-
Updated
Sep 6, 2024 - Python
Programs developed for CSCI561 Foundations of Artificial Intelligence course
python search agent language astar-algorithm first-order-logic minimax alpha-beta-pruning unification game-playing uniform-cost-search bfs-algorithm backward-chaining unification-algorithm halma resolution-algorithm
-
Updated
May 20, 2020 - Python
NuScenes, Lyft, Waymo and a2d2 datasets parser.
-
Updated
Aug 16, 2022 - Python
Generate and Verify Cryptographic Modes of Operation using Symbolic Methods
-
Updated
Mar 11, 2024 - Python
-
Updated
Apr 14, 2023 - Python
-
Updated
Mar 16, 2021 - Python
This is an investigation into the mechanisms that make up our reality.
-
Updated
Nov 12, 2025 - Python
The UBP Bitfield Monad System is an implementation of the Universal Binary Principle's minimal computational unit - the 1x1x1 Bitfield Monad.
-
Updated
Jun 30, 2025 - Python
what if I had to make a datalog in a cabin with no internet
-
Updated
Aug 17, 2025 - Python
First Order Logic Inference Python Script for USC Viterbi CSCI 561 AI HW3
-
Updated
May 10, 2021 - Python
Improve this page
Add a description, image, and links to the unification topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the unification topic, visit your repo's landing page and select "manage topics."