[sc34wg3] CTM: Semicolons

[Dmitry]

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).



Dmitry