[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Thu, 16 Sep 2010 22:40:02 +0200
Gnus/5.13 (Gnus v5.13) Emacs/23.2 (gnu/linux)
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.
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
Yeah, that seems like an improvement in terms of error detection and
error reporting (better than “source expression failed to match any
However, I don’t like the aesthetics: keywords, and, worse, type
annotations embedded in identifiers.
- 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