Metalog compiler V.01
(C)opyright 1998 Janne Saarela <jsaarela@w3.org>

This compiler can be used to compile simple logic programs into
1. standard logic program form
2. RDF schemas

The syntax of the input file is

[NAMESPACE URI "uri" ALIAS string]*
[IF { a1(V1,V2) AND a2(V1,V2) AND ... AND An(V1,V2) } THEN { c (V1,V2) };]*

The usage of the compiler is

metalog [-r] -s source_file

-r option allows you to request for RDF schema output instead of the
standard logic program notation.

Have fun hacking

21-Jul-1998
Sophia-Antipolis
