Hi, I got the prolog parser reporting syntax errors for prolog programs. It's soo nice to have an small analysis and a position where the error is located. With this I can take on writing more complex prolog programs. An example that is in the pipe is a FOL (first order logic) theorem solver, quite fun and a nice testbed to try out the postpone logic.
For setting up the error reporting I used a pdf describing the syntax-parse macro http://www.ccs.neu.edu/scheme/pubs/icfp10-cf.pdf I was wondering if you would like to see it ported to guile? I could try to do that! Regards Stefan
