[sc34wg3] CTM: Semicolons

Dmitry db3000 at mac.com
Wed Feb 4 05:55:27 EST 2009

On 4-Feb-09, at 5:37 AM, Lars Marius Garshol wrote:
> Maybe we could do that, but personally I think that analogies with
> Prolog are not that important, because hardly anyone knows Prolog
> anyway.
> The most important thing to me, though, is that we need to finish this
> thing, and finish it soon. The fewer old decisions we revisit, the
> better. There's a number of things I dislike about isa/ako, but
> personally I don't feel it's worth it to revisit them.

My suggestion is in adding a shortcut for binary templates inside of  
topic blocks.

We still can use basic syntax like this:

john works-for(exampleDotCom).

exampleDotCom employs(john).

Or we can use shortcuts:

john works-for exampleDotCom.

exampleDotCom employs john.

Or full association form

works_for(Employee:  john, Employer:  exampleDotCom).


More information about the sc34wg3 mailing list