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:
- Pyrolog: A Prolog interpreter written in Python using the PyPy translator toolchain. Clone of https://bitbucket.org/cfbolz/pyrolog☆26Apr 7, 2014Updated 12 years 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 11 months ago
- Highlighted grep of R objects☆11Feb 28, 2023Updated 3 years ago
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆21Mar 1, 2023Updated 3 years 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.
- ☆14Jul 15, 2025Updated last year
- 🎓🎭 PhD Thesis: Sentiment Analysis-Based Methods for Cultural Monuments☆17Jan 30, 2019Updated 7 years ago
- ☆20May 14, 2024Updated 2 years ago
- Straightforward unification in Python that's extensible via generic functions.☆53Feb 25, 2026Updated 6 months ago
- A Python module for market simulation☆26Jun 29, 2026Updated 2 months ago
- Yet Another Matplotlib Extension☆15Dec 1, 2021Updated 4 years ago
- [CAV 2025] PyEuclid: A Versatile Formal Plane Geometry System in Python☆15Jun 27, 2025Updated last year
- python client library for the SignalK protocol☆12Jul 11, 2022Updated 4 years ago
- prompt library for calculus resources☆16Sep 1, 2023Updated 3 years 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.
- So, you want to write a DSL interpreter...☆26Nov 20, 2018Updated 7 years ago
- PySwip is a Python-Prolog interface that enables querying SWI-Prolog in your Python programs.☆549Feb 15, 2026Updated 6 months ago
- Learn the Nim programming language by fixing tiny broken programs.☆55May 28, 2021Updated 5 years ago
- Everything about AI4Geometry (AI for geometry problem solving / geometry theorem proving).☆19Dec 19, 2025Updated 8 months ago
- 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
- A remake of the animation by Dark Horse Analytics (http://www.darkhorseanalytics.com)☆20May 4, 2017Updated 9 years ago
- Logic Programming in Python☆934Oct 23, 2025Updated 10 months ago
- ☆10Sep 10, 2016Updated 9 years ago
- Material for the Advanced Scientific Programming in Python course on advanced numpy☆26Sep 4, 2018Updated 8 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆14Jul 24, 2021Updated 5 years ago
- A python package for finding words that sound like other words. Useful for entity resolution and poetry, among other things.☆15Oct 26, 2022Updated 3 years ago
- ☆11Oct 26, 2022Updated 3 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
- [EMNLP 22] UniGeo: Unifying Geometry Logical Reasoning via Reformulating Mathematical Expression☆34Dec 7, 2022Updated 3 years ago
- An isomorphic Javascript client for Supabase.☆10Oct 24, 2022Updated 3 years ago
- A multi-pass sieve for coreference resolution in Python☆12Apr 12, 2015Updated 11 years ago
- SWI-Prolog Main development repository☆1,282Updated this week
- A system used to manage interact widgets, dialogues and voice files☆12May 8, 2022Updated 4 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- JudgeD: Probabilistic Datalog with Dependencies☆18Nov 7, 2019Updated 6 years ago
- Simple timetabling engine for schools☆30Jul 12, 2024Updated 2 years ago
- Inkscape Extension for Origami diagramming☆12Feb 1, 2020Updated 6 years ago
- Logic programming, for Rust, from inside Rust.☆45Mar 6, 2020Updated 6 years ago
- Post-quantum trusted time-stamping server☆17Dec 11, 2024Updated last year
- Simple datasets and notebooks for data visualization, statistical analysis and modelling - with write-ups here: https://projectosyo.wixsi…☆65Jul 28, 2026Updated last month
- Prolog benchmarks (`van Roy' set)☆19Aug 30, 2026Updated last week