[Attempto] Source Code of RACE reasoner

[Kaarel Kaljurand]

Hi,

On Tue, Sep 25, 2012 at 11:22 AM, Pierre-Alexandre Voye
<ontologiae at gmail.com> wrote:
> Does an explanation of grammar.plp exists somewhere ? There's nothing in the
> prolog generated doc (which is very useful, though)

The plp-files are automatically generated from the fit-files, i.e. the
plp-files are not supposed to be human-readable but the fit-files
certainly try to be.

The fit-files use the ProFIT notation, which is described in:

Gregor Erbach. ProFIT: Prolog with Features, Inheritance and
Templates. In Proceedings of
the seventh conference on European chapter of the Association for
Computational Linguistics.
Morgan Kaufmann Publishers Inc., 1995.

We implemented our own ProFIT-to-Prolog compiler, see: prologfeatures.pl

All the fit-files (except for sorts.fit) are the input to the
generation of the Syntax Report, although the Syntax Report omits the
technical details (e.g. on how to do DRS threading etc.). The type
system of the features is documented to some extent in sorts.fit.

Best regards,
Kaarel