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 11 months ago
- Pyrolog: A Prolog interpreter written in Python using the PyPy translator toolchain. Clone of https://bitbucket.org/cfbolz/pyrolog☆25Apr 7, 2014Updated 12 years ago
- Prolog implemented in Python☆12Sep 6, 2024Updated last year
- 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
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Animation of Yves Lafont's Interaction Combinators☆24Jan 30, 2022Updated 4 years ago
- Highlighted grep of R objects☆11Feb 28, 2023Updated 3 years ago
- 🎓🎭 PhD Thesis: Sentiment Analysis-Based Methods for Cultural Monuments☆17Jan 30, 2019Updated 7 years ago
- A common query interface for data stores, featuring a SQL-like query language.☆21Sep 21, 2015Updated 10 years ago
- A Clojure library for generation and parsing expressions from grammars and lexicons.☆16Updated this week
- A tool for extracting plain text and internal Wikipedia links from Wikipedia dumps☆11Apr 18, 2019Updated 7 years ago
- Validation and processing of GENIE files☆15Jun 19, 2026Updated last month
- A Google Cast enabled WebGL generative artwork☆13Jul 30, 2024Updated 2 years ago
- DEPRECATED REPO: SEE https://gitlab.wikimedia.org/kevinpayravi/cite-unseen☆16Sep 17, 2025Updated 11 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- 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
- A MongoDB compiler for the Gremlin traversal machine.☆19Mar 29, 2020Updated 6 years ago
- Logic Programming in Python☆31Sep 28, 2021Updated 4 years ago
- a (work-in-progress) grammatical WISYWIG text editor☆12Sep 13, 2018Updated 7 years ago
- PySwip is a Python-Prolog interface that enables querying SWI-Prolog in your Python programs.☆550Feb 15, 2026Updated 6 months ago
- A prototype research tool to demonstrate how metadata and automated analysis can be combined.☆14Dec 3, 2022Updated 3 years ago
- Annotation tool on Jupyter for Named Entity Recognition tasks☆21Mar 3, 2024Updated 2 years ago
- Suggests and completes words as you type! Write faster and more efficiently.☆12Apr 4, 2014Updated 12 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- MiniZinc documentation☆16Feb 9, 2023Updated 3 years ago
- Everything about AI4Geometry (AI for geometry problem solving / geometry theorem proving).☆19Dec 19, 2025Updated 7 months ago
- Formal geometric problem solver based on FormalGeo.☆18Apr 18, 2024Updated 2 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
- All code and content for my blog.☆15Sep 23, 2018Updated 7 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
- SQL + Jinja Templates Done Right™☆11May 6, 2026Updated 3 months ago
- Creative Coding: Generative Art, Data visualization, Interaction Design, Resources.☆14Feb 7, 2020Updated 6 years ago
- A Docker Compose to Illustrate using oauth2-proxy to add JWT header and protect services served through a trafeik proxy☆13Feb 3, 2024Updated 2 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.
- ShaderToy clone in Rust, currently supporting MacOS.☆25Mar 14, 2021Updated 5 years ago
- [WIP] ⭐️✨ Parsing in Python has never been easier☆10May 16, 2024Updated 2 years ago
- ☆10Nov 27, 2019Updated 6 years ago
- Logic Programming in Python☆932Oct 23, 2025Updated 9 months ago
- Typemap - The Annotator (TM)☆55Nov 24, 2018Updated 7 years ago
- ☆10Sep 10, 2016Updated 9 years ago
- A ThreeJS demo project where an OBJ file is imported and turned into a mix of colored particles.☆17Nov 26, 2022Updated 3 years ago