Copyright for clog2.3:

Copyright 2002 Walter Harms (walter.harms@informatik.uni-oldenburg.de)

License for clog2.3:

Distributed under GPL