DLVHEX solver: core system and plugin API
☆25Jun 13, 2019Updated 7 years ago
Alternatives and similar repositories for core
Users that are interested in core are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A lazy-grounding Answer-Set Programming system☆65May 15, 2026Updated 2 months ago
- A general framework for embedding Logic Programming in complex systems☆30Apr 20, 2026Updated 3 months ago
- An artificial player for the popular video game Angry Birds☆20Aug 6, 2019Updated 7 years ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆72Jul 1, 2024Updated 2 years ago
- A first-order concurrent automated theorem prover☆25Mar 25, 2026Updated 4 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Web-based IDE for Logic Programming☆26Jul 10, 2026Updated last month
- Python-based HEX implementation for a fragment of the HEX language and a subset of features.☆15Jan 4, 2022Updated 4 years ago
- VLog is a high-performance Datalog engine. It is highly memory efficient and can process large programs with thousands of rules.☆17Mar 22, 2018Updated 8 years ago
- (CL)S - Combinatory Logic Synthesizer☆12Oct 1, 2021Updated 4 years ago
- Qute: a dependency learning QBF solver.☆16Mar 31, 2026Updated 4 months ago
- ☆24Feb 17, 2026Updated 5 months ago
- LogicMOO Natural Language Understanding Kit Unified into Prolog☆13Oct 2, 2021Updated 4 years ago
- An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics☆55Apr 6, 2026Updated 4 months ago
- An ocaml implementation of conflict-driven reasoning☆15Jul 13, 2018Updated 8 years 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.
- Chatbot impls in Prolog☆16Feb 15, 2022Updated 4 years ago
- The SNePS 2 Knowledge Representation and Reasoning System☆13Jun 6, 2018Updated 8 years ago
- jQuery TodoMVC using the Web Cryptography API☆15Sep 12, 2014Updated 11 years ago
- Alice ML implementation☆17Nov 25, 2022Updated 3 years ago
- Ontologies of Linguistic Annotation. Machine-readable tagsets and annotation schemata for more than 100 languages.☆25Feb 4, 2026Updated 6 months ago
- 脸萌移植为Web☆10Oct 30, 2015Updated 10 years ago
- ROS packages for building wide intelligence project, University of Texas at Austin☆10Jul 5, 2024Updated 2 years ago
- A WordNet in GF☆32Updated this week
- presentations from our meetups☆17Oct 9, 2018Updated 7 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.
- Implementation of Bayesian Sum-Product Networks☆13May 19, 2020Updated 6 years ago
- experiments in lisp static analysis☆12Oct 12, 2015Updated 10 years ago
- FlowCutter submission to PACE 2016☆12Sep 20, 2016Updated 9 years ago
- A lightweight Description Logic reasoner for large-scale biomedical ontologies☆23Apr 24, 2026Updated 3 months ago
- Crate for reading TPTP files.☆16May 11, 2022Updated 4 years ago
- ☆15Jul 25, 2023Updated 3 years ago
- A Log4j Adapter for Clojure☆10Dec 23, 2021Updated 4 years ago
- ☆13Jan 9, 2018Updated 8 years ago
- Nominal logic programming extensions to miniKanren, based on alphaProlog.☆26Jan 19, 2014Updated 12 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- SuperPascal modification - compiles under fpc (Free Pascal).☆18Jun 30, 2018Updated 8 years ago
- ☆38Jan 2, 2024Updated 2 years ago
- Repo of auto-generated D-Bus source code which DDE used☆13Jan 14, 2025Updated last year
- Pfc: adding forward chaining and truth maintenance to Prolog☆11Jan 25, 2024Updated 2 years ago
- 🐳🐟🐚Docker image for the Friendly Interactive Shell, aka fish☆17Feb 12, 2026Updated 5 months ago
- A Python interface to the Prolog pengines library. Makes it exceedingly easy to call out to SWI-Prolog within Python!☆12Jun 26, 2020Updated 6 years ago
- Prolog Technology Theorem Prover☆14Jun 19, 2024Updated 2 years ago