FOL

[Stefan Israelsson Tampe]

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