Parser for Attempto Controlled English (ACE)
-
Updated
Apr 21, 2024 - Prolog
#
swi-prolog
Here are 135 public repositories matching this topic...
Translate XML Schema into equivalent JSON Schema
-
Updated
Jan 23, 2023 - Prolog
A terse declarative logic programming language
-
Updated
Jul 28, 2020 - Prolog
GNU-Make-like utility for managing builds and complex workflows
-
Updated
Nov 14, 2023 - Prolog
⚔️ Game of Thrones character database and family trees in Prolog
database prolog prolog-implementation game-of-thrones swi-prolog family-tree got prolog-programming-language prolog-application prolog-rules prolog-exercises prolog-tutorial
-
Updated
Apr 15, 2019 - Prolog
logic programming with SPARQL
-
Updated
Jan 16, 2023 - Prolog
OWL verbalizer: making machine-readable knowledge also human-readable
-
Updated
Oct 1, 2023 - Prolog
Randomized testing for Prolog à la QuickCheck
-
Updated
Jul 30, 2019 - Prolog
Blogging/CMS framework for SWI-Prolog.
-
Updated
Mar 2, 2023 - Prolog
Debug Adapter Protocol (DAP) implementation for SWI-Prolog
-
Updated
Mar 28, 2022 - Prolog
Prolog Reverse Proxy
-
Updated
Feb 24, 2018 - Prolog
LinearOne is a prototype theorem prover for first-order (multiplicative, intuitionistic) linear logic.
latex theorem-proving first-order-logic logic-programming swi-prolog linear-logic proof-net displacement-calculus-grammars
-
Updated
Nov 12, 2020 - Prolog
Tartarus is a multi-agent emulator for Static as well as Mobile Agents.
agent raspberry-pi emulation prolog internet-of-things swi-prolog multi-agent-systems autonomous-agents cyber-physical-systems agent-oriented-programming mobile-agents tartarus
-
Updated
Feb 25, 2023 - Prolog
Advanced support for working with RDF in Prolog.
-
Updated
Aug 31, 2024 - Prolog
Improve this page
Add a description, image, and links to the swi-prolog topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the swi-prolog topic, visit your repo's landing page and select "manage topics."