swi-prolog
There are 191 repositories under swi-prolog topic.
SWI-Prolog/swipl-devel
SWI-Prolog Main development repository
yuce/pyswip
PySwip is a Python-Prolog interface that enables querying SWI-Prolog in your Python programs.
Seeker04/plwm
An X11 window manager written in Prolog
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
Blog-Core/blog-core
Blogging/CMS framework for SWI-Prolog.
nicoabie/quickcheck
Randomized testing for Prolog à la QuickCheck
rla/prolog-markdown
Markdown parser for SWI-Prolog.
eshelyaron/debug_adapter
Debug Adapter Protocol (DAP) implementation for SWI-Prolog
haldai/LogicalVision2
Symbolic computer vision tool
eazar001/yesbot
IRC Bot Written in Prolog
RichardMoot/LinearOne
LinearOne is a prototype theorem prover for first-order (multiplicative, intuitionistic) linear logic.
rla/prolog-target-js
Simple Prolog to JS transpiler
triska/proloxy
Prolog Reverse Proxy
roboticslab-cseiitg/ProjectTartarus
Tartarus is a multi-agent emulator for Static as well as Mobile Agents.
wouterbeek/prolog_rdf
Advanced support for working with RDF in Prolog.
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.
wouterbeek/prolog_graphviz
A library for visualizing graphs in Prolog.
VanHakobyan/SWI-Prolog
SWI-Prolog Logical Programming Languages
abdulzakrt/WumpusWorld-CSharp
A Wumpus World in c# and prolog with a GUI
fnogatz/plammar
A Prolog grammar written in Prolog, for parsing and serialising Prolog code.
jdswalker/Interpreter-in-Prolog
An interpreter capable of executing a simple scripting language from a plain-text file
fnogatz/tap
Write TAP tests with SWI-Prolog
MuhammadSulaiman001/prolog-lab
SWI-Prolog Tutorial