6. Some geolog source files
Here is a list of geolog sources translated from the previous Prolog versions at
http://www.csupomona.edu/~jrfisher/www/geolog/index.html
dpe.gl
mb.gl
nl.gl
p1p2.gl
p2p1.gl
r3_3.gl
r3_4.gl
r3_5.gl
unf.gl
And here is the source for the universal Skolem machine from the
Fundamenta Informaticae
article.
usm.gl