Jan Wielemaker
Director at SWI-Prolog Solutions b.v.
Amsterdam, North Holland, Netherlands
Summary
🤩
Rockstar🎓
Top SchoolJan Wielemaker is the founding force behind SWI-Prolog, a director and researcher with over three decades of experience evolving Prolog from an academic project into a widely used open-source logic programming system. He holds a PhD in Computer Science and has steered SWI-Prolog development toward Semantic Web/Linked Data, deductive databases, and probabilistic logic, combining deep research insight with hands-on engineering. As lead developer and founder of SWI-Prolog Solutions, he has driven core improvements—recently focusing on incremental answer propagation, VM instruction handling, and test automation—that keep the main SWI-Prolog repository robust for both research and production. Splitting time between academia and industry roles (VU Amsterdam, CWI, and Kyndi), he uniquely bridges long-term research agendas and practical deployment needs across European and US collaborations.
16 years of coding experience
36 years of employment as a software developer
Master's degree, Electrical and Electronics Engineering, Master's degree, Electrical and Electronics Engineering at Eindhoven University of TechnologyDoctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at University of Amsterdam
Stackoverflow
1,680reputation
67kreached
42answers
17questions
prolog
top-5%
Github Skills (13)
prolog10
testing10
debug9
debugging9
code-generation7
biginteger6
git6
swi-prolog6
bash6
yap6
ffi6
wasm-pack4
rust-wasm4
Programming languages (17)
Github contributions (5)
SWI-Prolog/swipl-devel
Nov 2009 - Jan 2023
SWI-Prolog Main development repository
Role in this project:
Back-end Developer & Test Automation Engineer
Back-end Developer & Test Automation EngineerContributions:53 reviews, 15065 commits, 444 PRs in 13 years 4 months
Contributions summary:Jan's contributions primarily focus on enhancing the robustness and functionality of the SWI-Prolog development repository. Their work includes implementing and documenting new functions for incremental answer propagation and invalidation. The user has also been actively involved in fixing bugs, improving code quality, and expanding the test suite, particularly for the language's core features like string handling and operator parsing. The user's commits also touch upon the handling of code for the VM instruction.
datalogprologlogic-programmingswiswi-prolog
ClioPatria/xmlrdf
Nov 2010 - Oct 2013
Contributions:34 commits, 1 branch in 2 years 10 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.