Did you know? eliminate helper predicates with pack lambdaSearch Documentation:
Liberation Day in the NetherlandsSWI-Prolog git services moved to github

The SWI-Prolog source repository has been moved to GitHub.