Mercurial > hg > Applications > Tokio

comparison ts.pl @ 0:cfb7c6b24319

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Initial revision
author kono
date Thu, 30 Aug 2007 14:57:44 +0900
parents
children
comparison
equal deleted inserted replaced
-1:000000000000 0:cfb7c6b24319
1 /*
2 Copyright (C) 1988,2005, Shinji Kono
3 Everyone is permitted to copy and distribute verbatim copies
4 of this license, but changing it is not allowed. You can also
5 use this wording to make the terms for other programs.
6
7 send your comments to kono@ie.u-ryukyu.ac.jp
8 */
9
10 /* Tokio interpreter on prolog */
11
12 /* operator definitions */
13 /* @ .. next */
14 /* #,[] .. always */
15 /* <> .. sometime */
16
17 :-op(1200, fy ,[(('$define')),(('$function'))]). /* macro definitions */
18 /* :-op(1250, xfy ,[('$clause'),('r_call')]). macro development */
19 :-op(1200, xfy ,[('$clause'),('$call')]). /* macro development */
20 :-op(1100, xfy ,[( '|' )]). /* guard */
21 :-op(1160, fx ,[(tokio)]). /* Tokio formula interpreter */
22 :-op(1150, fy , [(if),(while)]).
23 :-op(1150, xfy , [(else)]).
24 :-op(1150, xfy , [(do)]).
25 :-op(1150, xfy , (then)).
26 :-op(1150, xfy , [('&&'),( & )]).
27 :-op(900, fx , ['<>',#,'|a|','|t|','||',beg,halt]).
28 :-op(700, xfy , [\=,===,' = '] ).
29 :-op(700, xfy , [:=] ). /* static assignment instanteanous */
30 :-op(700, xfy , [<=] ). /* temporal assignment instanteanous */
31 :-op(700, xfy , [<==] ). /* static temporal assignment */
32 :-op(700, xfy , [<-] ). /* temporal assignment */
33 :-op(700, xfy , [<<-] ). /* multiple temporal assignment */
34 :-op(700, xfy , [<--] ). /* force constrant */
35 :-op(700, xfy , proj ). /* projection */
36 :-op(700, xfy , gets ). /* repeatedly assignment */
37 :-op(600, xfx , to ). /* range */
38 :-op(150, fy , @). /* next oprator */
39 :-op(140, fx , *). /* variables */