Hi,

If you wondered about the results of my endavour with logic programming for
guile I
finally made a repo that is self containd and does not mode guile (HORROR
STORIES HERE)

Anyway here is the link for the repo at gitorius,

https://gitorious.org/gule-log/guile-log

I just added a small repo with type-checking code that uses guile-log, see

https://gitorious.org/typed-guile/typed-guile

-------------------
The astute reader will see that documentation is lacking and probably when
I stabilized guile-contracts
I wiill start documenting the these codes.

Regards
Stefan