Here is the Library:
[FILE]prolog.h
[FILE]history.html
And here are some sample clients:
[FILE]analysis.cc
[FILE]example1.cc
[FILE]family.cc
[FILE]lazy.cc