YAP also distributes the output of number of projects that were originally built or eventually ported to YAP.
Using the GECODE constraint solver
Interface to LibLBFGS
XML to Prolog parser
SAT
The R Prolog Programming Interface
The Problog-I Language and Learning System
CLPQR
Binary Decision Diagrams and Friends