SWI-Prolog lead developer, semantic web. Founder of SWI-Prolog Solutions b.v. Guest researcher at the VU, Amsterdam.
swi-prolog-wasm. SWI-Prolog ported to WebAssembly
42chat80. Classical CHAT80 NLP system for Prolog
26swi-chat. Demo SWI-Prolog HTTP based chat server
21sCASP. top-down interpreter for ASP programs with constraints
18ffi. SWI-Prolog dynamic C interface
17rits. Rule-based Intelligent Tutoring System
12swi-erlang. Yes, Erlang in SWI-Prolog!
12todo-backend-swi-prolog. Implementation of "todo-backed"
11rocksdb. SWI-Prolog interface for RocksDB
10openapi. SWI-Prolog OpenAPI (Swagger) support
10tabling_library. Benoit Desouter's library for tabling on delimited continuations
9hdt. Interface to HDT
7space. SWI-Prolog space package
6plsheet. Prolog based spreadsheet analyzer (prototype)
5rocks-predicates. Put predicates into a RocksDB database
5clingo. SWI-Prolog Clingo interface
5wordnet. SWI-Prolog pack to load WordNet relations lazily
5my-prolog-lib. Personal SWI-Prolog utilities library
4my-pceemacs-lib. Prolog
4dec10. The original DEC10 Prolog library
4logical-loops. ECLiPSe logical loops for SWI-Prolog
4ddebug. Declarative debugger
4rserve-sandbox. Docker spec for running Rserve in a sandbox
4triple20. XPCE/SWI-Prolog based RDF browser and editor
4rdf-any. Load RDF from diverse formats
3report-wfs. LIfe document describing the implementation of well founded semantics in SWI-Prolog
3matrix. Prototype proposal for adding a matrix library to SWI-Prolog
2GOAL. Prolog
2libssh. SWI-Prolog binding to libssh
2wsdl. SWI-Prolog pack WSDL
2bio_db. Access, use and manage big, biological datasets.
2rserve_client. SWI-Prolog/SWISH client for Rserve
2smtp. SWI-Prolog smtp pack
2geoip. GeoIP pack for SWI-Prolog
2GarpN. Prolog
1tau-prolog-doge. A port of Tau-Prolog Doge example to SWI-Prolog WASM
1fibers. Proof of concept for using engines to implement fibers
1altupdate. Implement concurrent alternative update strategies that involve incremental tabling
1pcache. SWI-Prolog answer caching
1pce_emacs_extensions. Personal extensions for SWI-Prolog's built-in editor
1recaptcha. SWI-Prolog pack for including recaptchas
1swiguard. Monitor SWI-Prolog web services
1profile. SWI-Prolog user profile management
1inotify. SWI-Prolog pack for accessing the Linux inotify API
1