Prolog+CG version 2.0.12 has been released. Prolog+CG is an implementation of Prolog which includes support for John Sowa's Conceptual Graphs.