๐ณ๐ฑ Made in Netherlands
Discover Netherlands's Leading Open Source Projects: Explore top-notch open source initiatives hailing from the vibrant tech community of Netherlands.
TOP Prolog Projects
SWI-Prolog/swish
SWI-Prolog for SHaring: a SWI-Prolog web IDE
wouterbeek/prolog_library_collection
A collection of Prolog libraries.
ClioPatria/ClioPatria
ClioPatria provides an RDF application platform
LOD-Laundromat/LOD-Laundromat
Cleaning other people's dirty data.
linkyndy/expert-systems
A basic expert system, written in Prolog, that suggests what programming language one should learn first.
SWI-Prolog/packages-semweb
The SWI-Prolog RDF store
SWI-Prolog/packages-chr
CHR: Leuven Constraint Handling Rules
rug-compling/Alpino
Alpino parser and related tools for Dutch
SWI-Prolog/packages-http
The SWI-Prolog HTTP server and client libraries
SWI-Prolog/sCASP
Top-down interpreter for ASP programs with Constraints
JanWielemaker/chat80
Classical CHAT80 NLP system for Prolog
edisonm/refactor
Refactoring Tools for SWI-Prolog
hbrouwer/dfs-tools
Distributional Formal Semantics (DFS) tools
JanWielemaker/swi-chat
Demo SWI-Prolog HTTP based chat server
JanWielemaker/ffi
SWI-Prolog dynamic C interface
wouterbeek/prolog_rdf
Advanced support for working with RDF in Prolog.
SWI-Prolog/plweb
SWI-Prolog web server sources for www.swi-prolog.org
JanWielemaker/sCASP
top-down interpreter for ASP programs with constraints
SWI-Prolog/bench
Prolog benchmarks (`van Roy' set)
JanWielemaker/swi-erlang
Yes, Erlang in SWI-Prolog!
wouterbeek/prolog_graphviz
A library for visualizing graphs in Prolog.
JanWielemaker/todo-backend-swi-prolog
Implementation of "todo-backed"
SWI-Prolog/packages-pengines
Pengines: Prolog engines
SWI-Prolog-Education/talespin-annie
Annie's version of talespin
JanWielemaker/rits
Rule-based Intelligent Tutoring System
JanWielemaker/tabling_library
Benoit Desouter's library for tabling on delimited continuations
JanWielemaker/openapi
SWI-Prolog OpenAPI (Swagger) support
jrvosse/amalgame
Amalgame: a SKOS vocabulary alignment tool
SWI-Prolog/packages-plunit
The SWI-Prolog Unit Testing library
SWI-Prolog/packages-clpqr
CLP(Q,R): constraints over rational numbers and floats by Leslie de Koninck
danieldk/brainfuck-pl
A brainf*ck interpreter in Prolog
SWI-Prolog/packages-R
SWI-Prolog to R Project for Statistical Computing interface
wouterbeek/prolog_jwt
A library bringing JSON Web Token (JWT) support to SWI-Prolog.
SWI-Prolog/rclswi
ROS2 bridge for SWI-Prolog
SWI-Prolog/packages-inclpr
Constraint solver for nonlinear (polynomial) constraints over reals
SWI-Prolog/contrib-protobufs
An interface to Google Protocol Buffers (protobuf)
SWI-Prolog/packages-cql
High level database interface
aistrate/ClocksinMellish
Code from the book "Programming in Prolog" by William F. Clocksin and Christopher S. Mellish (original and my own solutions to exercises).
SWI-Prolog/packages-regex
Pure Prolog regex implementation
JanWielemaker/wordnet
SWI-Prolog pack to load WordNet relations lazily
SWI-Prolog/packages-indent
Reformatter for Prolog source code
paulh002/SoapyHifiBerry
Raspberry PI SDR Tayloe board and SoapySDR driver
JanWielemaker/my-prolog-lib
Personal SWI-Prolog utilities library
ClioPatria/swish
Add Prolog interaction to ClioPatria
wouterbeek/prolog_geo
Prolog-based GIS library (wrapper around GEOS and Proj).
SWI-Prolog/packages-pldoc
The SWI-Prolog documentation system
JanWielemaker/rocks-predicates
Put predicates into a RocksDB database
SWI-Prolog/packages-RDF
The SWI-Prolog RDF/XML parser
JanWielemaker/plsheet
Prolog based spreadsheet analyzer (prototype)
edisonm/assertions
Ciao Assertion Reader for SWI-Prolog
SWI-Prolog/misc-emacs
Demo customization for PceEmacs
SWI-Prolog/packages-pcre
SWI-Prolog package for access to Perl Regular Expressions
JanWielemaker/logical-loops
ECLiPSe logical loops for SWI-Prolog
wouterbeek/DataHives
Agent-based infrastructure for distributed reasoning on the Semantic Web.
SWI-Prolog/packages-paxos
SWI-Prolog replicating key-value store
JanWielemaker/triple20
XPCE/SWI-Prolog based RDF browser and editor
JanWielemaker/dec10
The original DEC10 Prolog library
SWI-Prolog/packages-redis
Redis client library
thoha/FlorML
Repository for FlorML XML schema, XML files produced, and documentation
AstroPlant/astroplant-hardware
Raw data files for hardware PCB's
SWI-Prolog/packages-cppproxy
A network-based SWI-Prolog <-> C++ interface
JanWielemaker/rdf-any
Load RDF from diverse formats
wouterbeek/prolog_starter_project
A simple Prolog example project that can be used as a template to build new projects with.
vincent290587/EAGLE
Eagle projects: PCBs !
CptWesley/prolog-brainfuck
Brainfuck interpreter written in Prolog.
edisonm/xtools
Extended tools for Prolog
hilios/wumpus-prolog
Artificial intelligence agent for the Hunt the Wumpus game implemented in Prolog
JanWielemaker/ddebug
Declarative debugger
SWI-Prolog/clpqr-examples
Examples and test cases for clp(QR)
wouterbeek/ppm
Prolog Package Manager (PPM): A package manager for Prolog.
SWI-Prolog/packages-zlib
The SWI-Prolog zlib compressed stream interface
JanWielemaker/matrix
Prototype proposal for adding a matrix library to SWI-Prolog
oxkitsune/cs-prolog
A csgo "multi-hack" written in prolog using RPM/WPM bindings written in c++
SWI-Prolog/packages-prosqlite
Prolog to SQLite interface
SWI-Prolog/packages-ltx2htm
SWI-Prolog LaTeX to HTML translation for the documentation
wouterbeek/ModelTheory
Prolog implementation of Model Theory
ClioPatria/xmlrdf
Convert XML to RDF
JanWielemaker/smtp
SWI-Prolog smtp pack
cwi-swat/flint
Flint
JanWielemaker/rserve_client
SWI-Prolog/SWISH client for Rserve
JanWielemaker/bio_db
Access, use and manage big, biological datasets.
edisonm/xlibrary
Extended libraries for Prolog
edisonm/rtchecks
Run-Time Checking for Ciao and SWI-Prolog
JanWielemaker/wsdl
SWI-Prolog pack WSDL
wouterbeek/LDFS
Linked Data File System (LDFS)
sherkhan91/prolog_financial_advisor
Financial Adviser in prolog
NoFishLikeIan/prolog-playground
Just some random prolog code
pdmosses/msos-in-prolog
Modular structural operational semantics in Prolog
faif/Prodoku
A Sudoku solver in Prolog.
deosjr/progue
Prolog roguelike
JanWielemaker/GOAL
discopt/polymake-extended-formulations
A Polymake extension to compute slack factorizations from extended formulations and vice versa.
DavidMenting/StripeV02
ajvdw/EMSBusShield
JanWielemaker/recaptcha
SWI-Prolog pack for including recaptchas
edisonm/ciao
Ciao Prolog compatibility library
JanWielemaker/prolog-http-file-upload
Test SWI-Prolog HTTP server file upload
wouterbeek/IAAA
Contributions for the Institute of Artificial Art Amsterdam website.
lodyagin/uranium
The Uranium Test Engine
JanWielemaker/swi-webmon
Simple script to monitor the performance of some web services