- From: Richard H. McCullough <rhm@volcano.net>
- Date: Sun, 25 Sep 2005 21:21:48 -0700
- To: "semantic-web at W3C" <semantic-web@w3c.org>, "www-rdf-logic at W3C" <www-rdf-logic@w3.org>
- Cc: "KR-language" <KR-language@YahooGroups.com>
MKE now uses the Merr error message system
which was developed for the Unicon compiler.
The yyerror() procedure prints
file name
line number
input token pattern or specific error message
The specific error messages can make it very easy
to correct your errors.
For example, if you want to use Mtriples and you enter
kformat = mtriple;
MKE will tell you to use ":=" instead of "=".
The "old" format {set kformat = mtriple;} is also
accepted.
For an MKR example, suppose that you declare a set of
people by entering
x isu set of person;
MKE will tell you to use "Set" instead of "set"
(because "set" is a verb in MKR).
If you have any examples which you think should
have better error messages, just email them to me.
Don't forget that the MKE system includes "ksc",
the knowledge syntax checker. "ksc" is much smaller
and faster than "ke", and it also uses Merr.
"ksc" is suitable for quick interactive experiments
to determine how to express your ideas in MKR.
Dick McCullough
knowledge := man do identify od existent done;
knowledge haspart proposition list;
http://rhm.cdepot.net/
Received on Monday, 26 September 2005 04:25:49 UTC