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)
------------------- The astute reader will see that documentation is lacking and probably when I stabilized guile-contracts I wiill start documenting the these codes.