The migration to CMake has motivated the github user erlanger to port SWI-Prolog to the Termux application on Android. This port has greatly improved support for cross-compiling SWI-Prolog. More information is here

In late September 2018, Sam Neaves defended his thesis titled
"Explorations in Logic Programming for Bioinformatics".
The thesis was submitted to King's College, London.

The thesis provides excellent background material to biology for logic programmers
as well as logic programming for biologists. Sam's detailed research includes machine
learning of rules and activation patterns of pathways, as well as the
visionary Pengine API to Reactome [1,2].

Wouter Beek successfully defended his thesis "The ‘K’ in ‘Semantic Web’ stands for ‘Knowledge’" at the VU. He earned cum laude PhD, which happens to only about 5% of the computer science PhDs in the Netherlands!

Wouter's work depends to a large extend on the SWI-Prolog semantic web infrastructure. He contributed with many bug reports and patiently explained all the subtle things about the relevant W3C standards to me. In addition he developed the semweb/rdf11 library, providing a much cleaner API to deal with RDF than the original semweb/rdf_db. Wouter's contributions made the SWI-Prolog semantic web libraries robust and standard compliant. It is now to use them for expressing knowledge!

Wouter, congratulations and thanks for the (still ongoing) collaboration!

Raivo Laanemets ported SWI-Prolog to WebAssembly using Emscripten. This is still mostly a proof-of-concept that needs further integration in the browser infrastructure. The prototype does proof that SWI-Prolog can run in WASM.