Mercurial > hg > Applications > Lite

diff 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
line wrap: on
line diff
--- a/ex.pl	Fri Nov 07 20:36:40 2008 +0000
+++ b/ex.pl	Fri Apr 22 16:47:13 2016 +0900
@@ -7,7 +7,7 @@
  use this wording to make the terms for other programs.
 
  send your comments to kono@csl.sony.co.jp
- $Id$
+ $Id: ex.pl,v 1.5 2007/08/30 03:44:35 kono Exp $
 
  Examples
 */
@@ -28,7 +28,12 @@
 % quantifier
 ex(12,exists(R,(R,keep(@R = ~R),'[]'((R->p))))).
 % temporal assignment
-ex(13,exists(R,(R = p,keep(@R = R),fin(R = p)))).
+ex(13,exists(R,(R = p,keep(@R = R),fin(R = q)))).
+
+ex(133,
+    (exists(R,(q = R,stable(R),fin(p = R))))
+   =
+    (q & (empty,p); ~q & (empty, ~p))).
 %
 ex(14,
 	exists(Q,(Q,