To note is that I published the documentation for guile-log at,
http://c-lambda.se/guile-log
I added the documentation for the new prompt ideom as well as a section for
how one can do
parsing in guile-log. Previously there is a short description of postpone a
guile-log version of prologs dynam
Hi all,
Delimited continuations are a really nice feature in guile. I have now
implemented that
for guile-log and hence also for kanren and prolog. With it we can now do
(use-modules (logic guile-log))
(use-modules (logic guile-log umatch))
( (f)
( (i x) ( 'tag ( (i x)
