[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: FOL
From: |
Ludovic Courtès |
Subject: |
Re: FOL |
Date: |
Thu, 16 Sep 2010 22:40:02 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/23.2 (gnu/linux) |
Hi!
Stefan Israelsson Tampe <address@hidden> writes:
> 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.
Woow, cool!
What are your plans for your Prolog compiler, in terms of releases,
merges, and whatnot? :-)
> 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
Yeah, that seems like an improvement in terms of error detection and
error reporting (better than “source expression failed to match any
pattern”...).
However, I don’t like the aesthetics: keywords, and, worse, type
annotations embedded in identifiers.
Thanks,
Ludo’.
- FOL, Stefan Israelsson Tampe, 2010/09/16
- Re: FOL, Andy Wingo, 2010/09/16
- Re: FOL,
Ludovic Courtès <=
- Re: FOL, Stefan Israelsson Tampe, 2010/09/16
- Re: FOL, Ludovic Courtès, 2010/09/16