pylog: an implementation of Prolog features in Python
☆36Dec 21, 2024Updated last year
Alternatives and similar repositories for pylog
Users that are interested in pylog are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Functional composable pipelines allowing clean separation of the business logic and its implementation☆11Sep 6, 2025Updated 10 months ago
- Python library that enables using prolog syntax and logic programming in python☆131Jan 28, 2023Updated 3 years ago
- Geometric Problem Solving Integrating FormalGeo Symbolic System and Hypergraph Neural Network.☆16Sep 23, 2025Updated 10 months ago
- A simple Prolog Interpreter written in a few lines of Python 3. It runs a limited subset of Prolog and uses backtracking and generators i…☆253Nov 25, 2023Updated 2 years ago
- A Clojure library for generation and parsing expressions from grammars and lexicons.☆15Updated this week
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- ☆20May 14, 2024Updated 2 years ago
- Straightforward unification in Python that's extensible via generic functions.☆53Feb 25, 2026Updated 5 months ago
- So, you want to write a DSL interpreter...☆25Nov 20, 2018Updated 7 years ago
- PySwip is a Python-Prolog interface that enables querying SWI-Prolog in your Python programs.☆549Feb 15, 2026Updated 5 months ago
- Annotation tool on Jupyter for Named Entity Recognition tasks☆21Mar 3, 2024Updated 2 years ago
- Non-linear Schrodinger Equation Solver☆13Jul 21, 2026Updated last week
- a large-scale graph database created as a combination of multiple taxonomy backbones extracted from 5 existing knowledge graphs, namely: …☆14Jan 23, 2024Updated 2 years ago
- Example extensions written for https://github.com/asottile/setuptools-golang☆20Jan 20, 2025Updated last year
- Parsigs is an open-source project that aims to extract the relevant dosage information from prescriptions text without compromising the p…☆29Aug 22, 2024Updated last year
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- A remake of the animation by Dark Horse Analytics (http://www.darkhorseanalytics.com)☆20May 4, 2017Updated 9 years ago
- Simple Secure and Lightweight Service Registry in pure Python☆11May 27, 2020Updated 6 years ago
- ☆10Nov 27, 2019Updated 6 years ago
- ☆40Jul 15, 2024Updated 2 years ago
- Material for the Advanced Scientific Programming in Python course on advanced numpy☆26Sep 4, 2018Updated 7 years ago
- ☆21Oct 16, 2025Updated 9 months ago
- Machine learning algorithms for many-body quantum systems. To cite this software publication: https://www.sciencedirect.com/science/artic…☆10Aug 17, 2019Updated 6 years ago
- A workshop on SPARQL, OWL, and Datalog reasoning with RDFox☆31Jul 8, 2026Updated 3 weeks ago
- Tools for the Semi-Automatic Checking of Research Outputs. These are tools for researchers to use as drop-in replacements for common anal…☆23Updated this week
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- An isomorphic Javascript client for Supabase.☆10Oct 24, 2022Updated 3 years ago
- Allows weka to smell your code☆13Oct 13, 2020Updated 5 years ago
- Patient-centered safety diagnostics for oncology dose-escalation trials, examining design safety in light of inter-individual variation i…☆30Feb 1, 2022Updated 4 years ago
- a collection of external objects based on soundhack plugins☆23Mar 17, 2024Updated 2 years ago
- 正则表达式解析引擎☆15May 4, 2023Updated 3 years ago
- Advanced Semantics for Commonsense Knowledge Extraction (WWW 2021)☆26Jan 3, 2023Updated 3 years ago
- Learning to Spot and Refactor Inconsistent Method Names☆16Sep 1, 2022Updated 3 years ago
- Logic programming, for Rust, from inside Rust.☆45Mar 6, 2020Updated 6 years ago
- Download, Initialization, Tooling, and Chat Session Logic of Mistal AI's Mixtral8x7B "Mixtral of Experts" model in Google Colab☆17Jan 28, 2024Updated 2 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- CPS transform for Python☆22Nov 10, 2012Updated 13 years ago
- Learning wordnet using tensor neural network☆15Jun 15, 2015Updated 11 years ago
- Matlab bindings and interface for Haskell☆13Aug 24, 2020Updated 5 years ago
- Implementation of Belief Rule Base(BRB) Algorithm in Python.☆11May 25, 2017Updated 9 years ago
- Tableaux for Propositional Dynamic Logic in Lean 4 (WORK IN PROGRESS)☆16Jul 14, 2026Updated 2 weeks ago
- ☆10Dec 5, 2022Updated 3 years ago
- An extensible, lightweight relational/logic programming DSL written in pure Python☆247Aug 22, 2025Updated 11 months ago