Aluriak / webclingo-exampleLinks
Example of clingo usage on website as a client-side JS program
☆13Updated 5 years ago
Alternatives and similar repositories for webclingo-example
Users that are interested in webclingo-example are comparing it to the libraries listed below
Sorting:
- Visual Studio Code syntax highlighting for Answer Set Programming☆14Updated 5 months ago
- 🗃️ A Python ORM-like interface for the Clingo Answer Set Programming (ASP) reasoner☆56Updated 11 months ago
- 🦮 An introduction to our Answer Set Programming tools focusing on gringo, clingo, and clasp.☆79Updated last year
- Theory propagator for linear programming using clingo theory language and interface.☆11Updated 3 years ago
- Clingo on the web☆39Updated this week
- ☆21Updated 7 months ago
- A lazy-grounding Answer-Set Programming system☆60Updated 3 months ago
- 🕸️ A visualizer for graphs defined as logic programs☆29Updated 7 months ago
- Parses RDF from any serialization☆61Updated last month
- A general framework for embedding Logic Programming in complex systems☆31Updated last year
- 💊 Qualitative and quantitative optimization in answer set programming☆20Updated last year
- RDF Linked Data in Markdown☆35Updated last year
- Handy python wrapper around Potassco's Clingo ASP solver.☆34Updated 2 years ago
- KIELER Lightweight Diagams☆36Updated 3 weeks ago
- 🐧 Clingo Interactive UI☆26Updated 2 weeks ago
- ⚙️ A conflict-driven nogood learning answer set solver☆124Updated this week
- An Inductive Logic Programming system for online learning of event definitions in the form of Event Calculus programs☆19Updated 4 years ago
- logic programming with SPARQL☆47Updated 2 years ago
- SPARQL to SPARQL algebra converter☆22Updated 4 months ago
- Logic Production System (LPS) programming language interpreter implemented in JavaScript for Node.js and browsers.☆51Updated 6 years ago
- A projectional editor for JSON DSLs☆25Updated last year
- A TypeScript/JavaScript implementation of the RDF/JS data factory.☆11Updated 4 months ago
- Utilities for working with RDF/Linked Data in JavaScript / TypeScript☆10Updated 2 years ago
- RTEC is an Event Calculus implementation optimised for stream reasoning☆89Updated 2 weeks ago
- ⛓️ Extension of clingo to handle constraints over integers☆27Updated 4 months ago
- Euler Yet another proof Engine☆142Updated this week
- The Heterogeneous Tool Set☆58Updated 4 months ago
- The main repository integrating the LaTeX beamer-based slides☆24Updated last month
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆64Updated 11 months ago
- The Stardog Whisperer: TypeScript/JS parsers for Stardog languages☆16Updated 2 months ago