Copies of prolog solvers for use from python
☆19Jul 8, 2024Updated last year
Alternatives and similar repositories for prologsolvers
Users that are interested in prologsolvers are comparing it to the libraries listed below
Sorting:
- A monolithic index that supports worst-case optimal joins (WCOJ) by providing all collation orders in a single redundancy eliminating dat…☆16Sep 18, 2025Updated 5 months ago
- ☆14Feb 2, 2023Updated 3 years ago
- Reasonable Python is a module which adds F-Logic to Python☆26Jul 5, 2011Updated 14 years ago
- Second generation ZMPP Interactive Fiction Interpreter for Java and Android☆38Feb 10, 2017Updated 9 years ago
- A SapientML plugin of SapientMLGenerator☆11Dec 23, 2025Updated 2 months ago
- Pipes for MarkLogic DataHub is visual programming tool for MarkLogic Data Hub. It integrates with MarkLogic's Datahub and produces custom…☆14Jan 12, 2021Updated 5 years ago
- Simple RDF Editor with SHACL support☆32May 27, 2025Updated 9 months ago
- ☆11Jul 7, 2020Updated 5 years ago
- mReasoner is a unified computational implementation of the model theory of thinking and reasoning☆13Aug 17, 2023Updated 2 years ago
- This package is essentially a ros-wrapper of neural_cam. More features would be added in the future, geared towards mobile robot platform…☆11Jul 12, 2019Updated 6 years ago
- The ErgoAI reasoning engine, an advanced object-oriented knowledge management system☆43Updated this week
- A suite of Haskell libraries for representing, manipulating, and sampling random variables☆43Oct 16, 2023Updated 2 years ago
- An alternate syntax for Clojure inspired by Pollen.☆45Jun 11, 2023Updated 2 years ago
- ☆13Mar 17, 2023Updated 2 years ago
- Functional composable pipelines allowing clean separation of the business logic and its implementation☆11Sep 6, 2025Updated 5 months ago
- Writing SQL can be easier - pine makes it happen!☆12Feb 16, 2026Updated 2 weeks ago
- Fake NEWS detector using LIAR dataset.☆11Aug 19, 2019Updated 6 years ago
- Code and data for the Walert large language model-based chatbot☆12Aug 14, 2025Updated 6 months ago
- Your source for creating beautiful, consistent experiences across NICE☆17Feb 25, 2026Updated last week
- C4RepSet: Representative Subset from C4 data for Training Pre-trained LMs☆11Jan 13, 2023Updated 3 years ago
- A collection of OCR'd and machine-corrected Greek texts. This base repository contains Git submodules for the different works and an inve…☆11Nov 18, 2014Updated 11 years ago
- Wikimedia Enterprise - client SDK in Python☆20Nov 11, 2025Updated 3 months ago
- An XQuery 3.0 library for defining algebraic data types, and performing structural pattern matching on them.☆17Jun 30, 2012Updated 13 years ago
- ☆10Jul 6, 2023Updated 2 years ago
- XML/XSLT processing in the browser, supported by a Typescript library☆10Feb 18, 2025Updated last year
- Parallel Quantum Annealing☆10Jan 7, 2023Updated 3 years ago
- Ruby API for Freebase.com☆37Jun 18, 2008Updated 17 years ago
- Svelte components for use with DatoCMS. Translated to Svelte from react-datocms☆10Jun 5, 2022Updated 3 years ago
- Code that drives the public web-based tools for the Media Cloud Online News Archive and Directory.☆11Updated this week
- A grunt.js task to render Handlebars templates against a context & produce HTML☆14Mar 10, 2018Updated 7 years ago
- Security research organization dedicated to finding low hanging, critical, vulnerabilities.☆15May 12, 2022Updated 3 years ago
- A Prolog library to connect to PostgreSQL databases☆107May 1, 2024Updated last year
- Simple library to interface with Hitachi-compatible character LCDs for the Sipeed Tang Nano 4K Gowin FPGA board.☆10Aug 13, 2022Updated 3 years ago
- APRS.IS Over TCP Using Python☆11Jun 28, 2023Updated 2 years ago
- Earley based parsing tools for XSLT☆10Oct 8, 2020Updated 5 years ago
- Collection of words to help with writing high level applications with Forth language.☆12Jun 27, 2021Updated 4 years ago
- Vector functions and indexing for SQLite☆10Mar 26, 2023Updated 2 years ago
- JSON-LD parser that implements the RDFJS Sink interface using jsonld.js☆13Updated this week
- Extract links from Wikipedia pages to create a cross-document coreference dataset (multilingual support)☆11Apr 13, 2023Updated 2 years ago