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:
- First-order knowledge compilation for lifted probabilistic inference☆11Jun 14, 2017Updated 9 years ago
- Python library that enables using prolog syntax and logic programming in python☆131Jan 28, 2023Updated 3 years 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…☆252Nov 25, 2023Updated 2 years ago
- Geometric Problem Solving Integrating FormalGeo Symbolic System and Hypergraph Neural Network.☆17Sep 23, 2025Updated last year
- Constraint Logic Programming over Finite Domains☆195Jan 7, 2020Updated 6 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A TurtleScript interpreter written in Rust.☆19Oct 3, 2013Updated 13 years ago
- A Python module for market simulation☆26Jun 29, 2026Updated 4 months ago
- ☆20May 14, 2024Updated 2 years ago
- A pipeline for the automatic construction of geometry problems along with step-by-step solutions.☆18Aug 27, 2025Updated last year
- Logic Programming in Python☆31Sep 28, 2021Updated 5 years ago
- A curated list of sandboxing solutions for AI agents☆19Aug 19, 2026Updated 2 months ago
- Experimental modular probabilistic programming language in Rust, with modeling and inference separated by a generative function trait int…☆16Jul 4, 2026Updated 4 months ago
- a (work-in-progress) grammatical WISYWIG text editor☆12Sep 13, 2018Updated 8 years ago
- PySwip is a Python-Prolog interface that enables querying SWI-Prolog in your Python programs.☆549Feb 15, 2026Updated 8 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Formal geometric problem solver based on FormalGeo.☆19Apr 18, 2024Updated 2 years ago
- Gradual WAM implementation using Hassan Aït-Kaci's tutorial reconstruction☆28Oct 6, 2018Updated 8 years ago
- Implementation (in progress) of Dieng et al.'s TopicRNN intended to be used as a baseline and starting point.☆10Jun 26, 2018Updated 8 years ago
- Gatsby site using NetlifyCMS with local file-system api in dev mode☆11Sep 7, 2018Updated 8 years ago
- Suggests and completes words as you type! Write faster and more efficiently.☆12Apr 4, 2014Updated 12 years ago
- ☆10Nov 27, 2019Updated 6 years ago
- All code and content for my blog.☆15Sep 23, 2018Updated 8 years ago
- Everything about AI4Geometry (AI for geometry problem solving / geometry theorem proving).☆19Dec 19, 2025Updated 10 months ago
- ☆10Sep 10, 2016Updated 10 years ago
- 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 experiment showing a (Clojure) ring adapter for the Google Cloud Function Java Runtime on Google Cloud Platform☆15Jun 13, 2021Updated 5 years ago
- One of the problems faced concerning Arabic fake news detection is the scarcity of Arabic datasets. We believe it is important to availab…☆11Jun 13, 2022Updated 4 years ago
- A Datalog Framework for Python☆18Mar 8, 2023Updated 3 years ago
- ☆14Apr 2, 2024Updated 2 years ago
- A multi-pass sieve for coreference resolution in Python☆12Apr 12, 2015Updated 11 years ago
- SQL + Jinja Templates Done Right™☆11May 6, 2026Updated 6 months ago
- ☆19Apr 7, 2024Updated 2 years ago
- Machine learning algorithms for many-body quantum systems. To cite this software publication: https://www.sciencedirect.com/science/artic…☆10Aug 17, 2019Updated 7 years ago
- Logic Programming in Python☆937Oct 23, 2025Updated last year
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Prolog Examples with Solutions☆10Sep 29, 2018Updated 8 years ago
- ☆11Oct 26, 2022Updated 4 years ago
- Simulating the outer Solar System (Jupiter, Saturn, Uranus, Neptune and Pluto) and visualize the result in Blender using Python Scripting…☆10Sep 22, 2020Updated 6 years ago
- A small test suite for comparing blur filters.☆17Mar 23, 2017Updated 9 years ago
- A proof-of-concept parser for the Prolog programming language, at the Bern University of Applied Sciences for the course "Automata and fo…☆11Jan 17, 2014Updated 12 years ago
- A python package for finding words that sound like other words. Useful for entity resolution and poetry, among other things.☆16Oct 26, 2022Updated 4 years ago
- Resolution theorem proving for predicate logic in pure Python.☆99Nov 20, 2023Updated 2 years ago