[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]


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)


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

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.


reply via email to

[Prev in Thread] Current Thread [Next in Thread]