Some simple examples for new Prolog programmers

SWI-Prolog for SHaring: a SWI-Prolog web IDE

Constraint Logic Programming over Integers

A tutorial for the swipl web framework

Expert Systems Guide

Boolean Constraint Solving in Prolog

Web Framework for SWI-Prolog

A tutorial for DCG's in swi-Prolog

An encoding of the UK's self-isolation rules in Prolog

Simple timetabling engine for schools

Reason about Bitcoin addresses with Prolog

Materials for the Strangeloop workshop 'Real World Development Boot Camp In SWI-Prolog'

Prove formulas of Presburger Arithmetic

Brainfuck interpreter written in Prolog.