Re: FOL

[Ludovic Courtès]

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’.