stub for global analysis

2014-08-04 21:58:47 -05:00 · 2014-08-04 21:58:47 -05:00 · 5e73c6cd84
commit 5e73c6cd84
parent 7f6ecc3f9a
1 changed files with 12 additions and 0 deletions
--- a/swi/library/pce.pl
+++ b/swi/library/pce.pl
@ -0,0 +1,12 @@
+
+% support global analysis of the full yap xsources.
+
+:- module(pce,
+          [ 
+      op(100,  xf,  *),
+	op(1200, xfx, :->),
+	op(910,  xfy, ::),
+           op(200, fy,  @),
+            op(250, yfx, ?),
+            op(990, xfx, :=)
+          ]).