swi-prolog

There are 11 repositories under swi-prolog topic.

SWI-Prolog / swipl-devel
SWI-Prolog Main development repository
logic-programming prolog swi-prolog
Language:C 896
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.
artificial-intelligence expert-systems logic-programming natural-language-processing prolog python robotics swi-prolog
Language:Python 442
Attempto / APE
Parser for Attempto Controlled English (ACE)
swi-prolog ace attempto cnl nlp
Language:Prolog 180
fnogatz / xsd2json
Translate XML Schema into equivalent JSON Schema
swi-prolog prolog xml-schema json-schema
Language:Prolog 146
JCumin / Brachylog
A terse declarative logic programming language
code-golf declarative golfing-language language logic-programming prolog swi-prolog
Language:Prolog 117
evoldoers / biomake
GNU-Make-like utility for managing builds and complex workflows
workflows makefiles gnu-make swi-prolog prolog bioinformatics
Language:Prolog 98
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.
common-lisp prolog-programming-language object-oriented-programming oop swi-prolog-library swi-prolog yap-prolog greenspun lisp prolog lisp-compiler lisp-interpreter prolog-programmers swi
Language:Common Lisp 96
wouterbeek / prolog_library_collection
A collection of Prolog libraries.
prolog swi-prolog
Language:Prolog 83
SWI-Prolog / swipl-wasm
Run SWI-Prolog in your browser using WebAssemply
prolog webassembly swi-prolog
Language:HTML 74
rachelwiles / GoT-Check
:crossed_swords: Game of Thrones character database and family trees in Prolog
database family-tree game-of-thrones got prolog prolog-application prolog-exercises prolog-implementation prolog-programming-language prolog-rules prolog-tutorial swi-prolog
Language:Prolog 68
cmungall / sparqlprog
logic programming with SPARQL
semantic-web sparql datalog rdf swi-prolog prolog bioinformatics ontology
Language:Prolog 45
Kaljurand / owl-verbalizer
OWL verbalizer: making machine-readable knowledge also human-readable
owl swi-prolog ace web-ontology-language
Language:Prolog 36
triska / letswicrypt
Prolog HTTPS Servers
https https-server prolog swi-prolog
Language:Prolog 35
rla / simple-template
Text templating processor for SWI-Prolog.
template-engine swi-prolog
Language:Prolog 31
rla / node-swipl
A node.js interface to the SWI-Prolog library.
nodejs swi-prolog prolog
Language:C++ 30
haldai / Jurassic.pl
Call Julia code from Prolog
prolog julia swi-prolog interface
Language:C 27
nicoabie / quickcheck
Randomized testing for Prolog à la QuickCheck
swi-prolog prolog quickcheck property-based-testing
Language:Prolog 20
rla / prolog-markdown
Markdown parser for SWI-Prolog.
swi-prolog markdown markdown-parser
Language:Prolog 20
rla / prolog-target-js
Simple Prolog to JS transpiler
swi-prolog transpiler javascript
Language:JavaScript 20
Blog-Core / blog-core
Blogging/CMS framework for SWI-Prolog.
blog-engine swi-prolog prolog cms blog-core
Language:Prolog 19
eazar001 / yesbot
IRC Bot Written in Prolog
prolog swi-prolog bot irc-bot irc-client irc
Language:Prolog 19
debug_adapter
eshelyaron / debug_adapter
Debug Adapter Protocol (DAP) implementation for SWI-Prolog
debugger emacs prolog logic-programming swipl swi-prolog
Language:Prolog 19
haldai / LogicalVision2
Symbolic computer vision tool
swi-prolog opencv computer-vision
Language:Prolog 18
RichardMoot / LinearOne
LinearOne is a prototype theorem prover for first-order (multiplicative, intuitionistic) linear logic.
linear-logic first-order-logic theorem-proving proof-net displacement-calculus-grammars swi-prolog logic-programming latex
Language:Prolog 18
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.
neuro-floper floper python neural-network multilayer-perceptron-network fuzzy-neural-network tune tuner final-degree-project dec-tau keras tensorflow swi-prolog iris iris-dataset fasill malp prolog
Language:Python 18
triska / proloxy
Prolog Reverse Proxy
prolog swi-prolog proxy-server https-proxy https http-proxy websocket-connection
Language:Prolog 17
abdulzakrt / WumpusWorld-CSharp
A Wumpus World in c# and prolog with a GUI
wumpusworld csharp prolog gui swi-prolog wpf-application wpf game agent knowledgebase wumpus world knowledgebase-agents swipl
Language:C# 15
wouterbeek / prolog_rdf
Advanced support for working with RDF in Prolog.
prolog swi-prolog linked-data semantic-web rdf
Language:Prolog 15
roboticslab-cseiitg / ProjectTartarus
Tartarus is a multi-agent emulator for Static as well as Mobile Agents.
prolog swi-prolog mobile-agents autonomous-agents multi-agent-systems raspberry-pi emulation agent internet-of-things cyber-physical-systems tartarus agent-oriented-programming
Language:Prolog 14
jdswalker / Interpreter-in-Prolog
An interpreter capable of executing a simple scripting language from a plain-text file
interpreter lexer parser prolog prolog-cfg prolog-interpreter swi-prolog tokenizer
Language:Prolog 13
VanHakobyan / SWI-Prolog
SWI-Prolog Logical Programming Languages
prolog prolog-programming-language swi-prolog logical-programming
Language:Prolog 13
wouterbeek / prolog_graphviz
A library for visualizing graphs in Prolog.
prolog swi-prolog graph graphviz graphviz-dot graphviz-dot-language visualization
Language:Prolog 12
fnogatz / plammar
A Prolog grammar written in Prolog, for parsing and serialising Prolog code.
swi-prolog prolog definite-clause-grammar parser serializer
Language:Prolog 11
fnogatz / tap
Write TAP tests with SWI-Prolog
swi-prolog prolog tap
Language:Prolog 11
rla / alternative-router
An alternative HTTP router/dispatcher for SWI-Prolog.
swi-prolog routing-engine route-handler router
Language:Prolog 11
MuhammadSulaiman001 / prolog-lab
SWI-Prolog Tutorial
learn-prolog logic-programming prolog prolog-exercises swi-prolog logic logical-programming logical-programming-language prolog-programming-language
Language:Prolog 10