swi-prolog
There are 181 repositories under swi-prolog topic.
SWI-Prolog/swipl-devel
SWI-Prolog Main development repository
yuce/pyswip
PySwip is a Python - SWI-Prolog bridge enabling to query SWI-Prolog in your Python programs. It features an (incomplete) SWI-Prolog foreign language interface, a utility class that makes it easy querying with Prolog and also a Pythonic interface.
Attempto/APE
Parser for Attempto Controlled English (ACE)
fnogatz/xsd2json
Translate XML Schema into equivalent JSON Schema
JCumin/Brachylog
A terse declarative logic programming language
evoldoers/biomake
GNU-Make-like utility for managing builds and complex workflows
logicmoo/wam_common_lisp
Allow Lisp programs to stop implementing an ad-hoc, informally-specified, bug-ridden, slow implementation of less than half of ISO-Prolog.
wouterbeek/prolog_library_collection
A collection of Prolog libraries.
SWI-Prolog/swipl-wasm
Run SWI-Prolog in your browser using WebAssemply
rachelwiles/GoT-Check
:crossed_swords: Game of Thrones character database and family trees in Prolog
cmungall/sparqlprog
logic programming with SPARQL
Kaljurand/owl-verbalizer
OWL verbalizer: making machine-readable knowledge also human-readable
triska/letswicrypt
Prolog HTTPS Servers
rla/simple-template
Text templating processor for SWI-Prolog.
rla/node-swipl
A node.js interface to the SWI-Prolog library.
haldai/Jurassic.pl
Call Julia code from Prolog
eshelyaron/debug_adapter
Debug Adapter Protocol (DAP) implementation for SWI-Prolog
nicoabie/quickcheck
Randomized testing for Prolog à la QuickCheck
rla/prolog-markdown
Markdown parser for SWI-Prolog.
rla/prolog-target-js
Simple Prolog to JS transpiler
Blog-Core/blog-core
Blogging/CMS framework for SWI-Prolog.
eazar001/yesbot
IRC Bot Written in Prolog
haldai/LogicalVision2
Symbolic computer vision tool
RichardMoot/LinearOne
LinearOne is a prototype theorem prover for first-order (multiplicative, intuitionistic) linear logic.
triska/proloxy
Prolog Reverse Proxy
Xachap/Neuro-FLOPER
A program that allows you to translate neural networks created with Keras to fuzzy logic programs, in order to tune these networks from a given dataset.
abdulzakrt/WumpusWorld-CSharp
A Wumpus World in c# and prolog with a GUI
wouterbeek/prolog_rdf
Advanced support for working with RDF in Prolog.
roboticslab-cseiitg/ProjectTartarus
Tartarus is a multi-agent emulator for Static as well as Mobile Agents.
jdswalker/Interpreter-in-Prolog
An interpreter capable of executing a simple scripting language from a plain-text file
VanHakobyan/SWI-Prolog
SWI-Prolog Logical Programming Languages
wouterbeek/prolog_graphviz
A library for visualizing graphs in Prolog.
fnogatz/plammar
A Prolog grammar written in Prolog, for parsing and serialising Prolog code.
fnogatz/tap
Write TAP tests with SWI-Prolog
MuhammadSulaiman001/prolog-lab
SWI-Prolog Tutorial
rla/alternative-router
An alternative HTTP router/dispatcher for SWI-Prolog.