[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
FOL
From: |
Stefan Israelsson Tampe |
Subject: |
FOL |
Date: |
Thu, 16 Sep 2010 21:00:34 +0200 |
User-agent: |
KMail/1.13.5 (Linux/2.6.34-12-desktop; KDE/4.4.4; x86_64; ; ) |
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
- FOL,
Stefan Israelsson Tampe <=
- Re: FOL, Andy Wingo, 2010/09/16
- Re: FOL, Ludovic Courtès, 2010/09/16
- Re: FOL, Stefan Israelsson Tampe, 2010/09/16
- Re: FOL, Ludovic Courtès, 2010/09/16