Mercurial > hg > Applications > Lite

comparison ex.pl @ 22:29cf617f49db default tip

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
newer CVS version
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Fri, 22 Apr 2016 16:47:13 +0900
parents e1d3145cff7a
children
comparison
equal deleted inserted replaced
21:8fb7b6f55b7e 22:29cf617f49db
5 Everyone is permitted to copy and distribute verbatim copies 5 Everyone is permitted to copy and distribute verbatim copies
6 of this license, but changing it is not allowed. You can also 6 of this license, but changing it is not allowed. You can also
7 use this wording to make the terms for other programs. 7 use this wording to make the terms for other programs.
8 8
9 send your comments to kono@csl.sony.co.jp 9 send your comments to kono@csl.sony.co.jp
10 $Id$ 10 $Id: ex.pl,v 1.5 2007/08/30 03:44:35 kono Exp $
11 11
12 Examples 12 Examples
13 */ 13 */
14 14
15 ex(0,(p)). 15 ex(0,(p)).
26 % weak closure (or finite closure) 26 % weak closure (or finite closure)
27 ex(11,+ (a,@ (b,@ (c,@empty)))). 27 ex(11,+ (a,@ (b,@ (c,@empty)))).
28 % quantifier 28 % quantifier
29 ex(12,exists(R,(R,keep(@R = ~R),'[]'((R->p))))). 29 ex(12,exists(R,(R,keep(@R = ~R),'[]'((R->p))))).
30 % temporal assignment 30 % temporal assignment
31 ex(13,exists(R,(R = p,keep(@R = R),fin(R = p)))). 31 ex(13,exists(R,(R = p,keep(@R = R),fin(R = q)))).
32
33 ex(133,
34 (exists(R,(q = R,stable(R),fin(p = R))))
35 =
36 (q & (empty,p); ~q & (empty, ~p))).
32 % 37 %
33 ex(14, 38 ex(14,
34 exists(Q,(Q, 39 exists(Q,(Q,
35 '[]'((Q -> 40 '[]'((Q ->
36 (((((a,skip) & (b,skip)), @ keep(~Q)) & Q) 41 (((((a,skip) & (b,skip)), @ keep(~Q)) & Q)