[SCL] revised core syntax

[pat hayes]

Version now at

http://www.ihmc.us/users/phayes/SCL_december_3.HTML

has the syntax changes discussed, and a detailed syntax in EBNF, 
right down to unicode strings.  (This is a tweak on the one I wrote a 
while back for SKIF.)

I am thoroughly sick of syntax, I have to say.

The core/kernel is now in simplified KIF-style without ?-marked 
variables but with all ands and foralls in place; modules are 
sequences of sentences with optional headers but no surrounding 
parentheses, as Tanel requested (they reappear in the module 
definition syntax where one needs to indicate the exact extent of the 
name being defined). Ive tweaked the role-pair atom syntax and the 
restricted quantifier syntax to only use parentheses and the = sign. 
(BTW, note that the KIF ?-variable syntax is still perfectly legal, 
just not actually required. So also is the Prolog upper-case 
convention.)

The text still uses 'ontology': I'll fix that later when we finally 
agree on terminology.

There is some new text added at the end about header uses, including 
the idea of a special name header and a way of handling datatypes. 
(More to come.)

There may still be some syntax errors in the examples in the text.

I will be working on this sporadically over the next few days, but if 
anyone has feedback on the syntax please do so ASAP, as I want to get 
that set in stone fairly quickly.  Thanks.

Pat

-- 
---------------------------------------------------------------------
IHMC	(850)434 8903 or (650)494 3973   home
40 South Alcaniz St.	(850)202 4416   office
Pensacola			(850)202 4440   fax
FL 32501			(850)291 0667    cell
phayes at ihmc.us       http://www.ihmc.us/users/phayes