Hi,<br><br>If you wondered about the results of my endavour with logic programming for guile I<br>finally made a repo that is self containd and does not mode guile (HORROR STORIES HERE)<br><br>Anyway here is the link for the repo at gitorius,<br>
<br><a href="https://gitorious.org/gule-log/guile-log">https://gitorious.org/gule-log/guile-log</a><br><br>I just added a small repo with type-checking code that uses guile-log, see<br><br><a href="https://gitorious.org/typed-guile/typed-guile">https://gitorious.org/typed-guile/typed-guile</a><br>
<br>-------------------<br>The astute reader will see that documentation is lacking and probably when I stabilized guile-contracts<br>I wiill start documenting the these codes.<br><br>Regards<br>Stefan<br>