[pypy-svn] r48829 - in pypy/dist/pypy/doc: . config

[antocuni at codespeak.net]

Author: antocuni
Date: Tue Nov 20 13:39:16 2007
New Revision: 48829

Removed:
   pypy/dist/pypy/doc/constraints-and-logic.txt
   pypy/dist/pypy/doc/howto-logicobjspace.txt
Modified:
   pypy/dist/pypy/doc/config/objspace.name.txt
   pypy/dist/pypy/doc/index.txt
   pypy/dist/pypy/doc/objspace-proxies.txt
Log:
remove references to logic objspace from the doc



Modified: pypy/dist/pypy/doc/config/objspace.name.txt
==============================================================================
--- pypy/dist/pypy/doc/config/objspace.name.txt	(original)
+++ pypy/dist/pypy/doc/config/objspace.name.txt	Tue Nov 20 13:39:16 2007
@@ -4,7 +4,6 @@
 for normal usage):
 
   * thunk_: The thunk object space adds lazy evaluation to PyPy.
-  * logic_: The logic object space contains logical programming features.
   * taint_: The taint object space adds soft security features.
   * dump_:  Using this object spaces results in the dumpimp of all operations
     to a log.
@@ -13,6 +12,5 @@
 .. _`Object Space Proxies`: ../objspace-proxies.html
 .. _`Standard Object Space`: ../objspace.html#standard-object-space
 .. _thunk: ../objspace-proxies.html#thunk
-.. _logic: ../objspace-proxies.html#logic
 .. _taint: ../objspace-proxies.html#taint
 .. _dump: ../objspace-proxies.html#dump

Modified: pypy/dist/pypy/doc/index.txt
==============================================================================
--- pypy/dist/pypy/doc/index.txt	(original)
+++ pypy/dist/pypy/doc/index.txt	Tue Nov 20 13:39:16 2007
@@ -263,8 +263,6 @@
 
 `objspace/thunk.py`_           the `thunk object space`_, providing unique object features 
 
-`objspace/logic.py`_           the `logic object space`_, providing Prolog-like logic variables
-
 `objspace/cpy/`_               an object space supporting the `extension compiler`_
 
 `objspace/flow/`_              the FlowObjSpace_ implementing `abstract interpretation`
@@ -330,7 +328,6 @@
 .. _`trace object space`: objspace.html#the-trace-object-space 
 .. _`taint object space`: objspace-proxies.html#taint
 .. _`thunk object space`: objspace-proxies.html#thunk
-.. _`logic object space`: objspace-proxies.html#logic
 .. _`transparent proxies`: objspace-proxies.html#tproxy
 .. _`What PyPy can do for your objects`: objspace-proxies.html
 .. _`Stackless and coroutines`: stackless.html

Modified: pypy/dist/pypy/doc/objspace-proxies.txt
==============================================================================
--- pypy/dist/pypy/doc/objspace-proxies.txt	(original)
+++ pypy/dist/pypy/doc/objspace-proxies.txt	Tue Nov 20 13:39:16 2007
@@ -18,9 +18,6 @@
   only if and when needed; and a way to globally replace an object with
   another.
 
-* *Logic Object Space*: logical variables, i.e. placeholder objects
-  whose value can be bound once.
-
 * *Taint Object Space*: a soft security system; your application cannot
   accidentally compute results based on tainted objects unless it
   explicitly untaints them first.
@@ -136,33 +133,6 @@
    function behaves lazily: all calls to it return a thunk object.
 
 
-.. _logic:
-
-The Logic Object Space
-======================
-
-The Logic Object Space adds several logic programming features,
-including the notion of logical variable.  A logical variable is really
-an object from the Python point of view; it is called "variable" for
-consistency with logic programming terminology.  It is an "empty" object
-with no initial value: its value can be set once, and only once, at any
-point in time.
-
-Logical variables are not entirely different from lazily-computed objects,
-except that the objects have no built-in knowledge about how they should
-compute themselves.
-
-Using a logical variable before it gets a value results in a lock:
-the current thread is suspended, in the hope that another thread will
-eventually give it a value.  In practice, this works well
-with microthreads instead of real threads (see `Stackless features`_).
-
-The `EU Interim Report`_ (PDF) describes the Logic Object Space in
-more detail.
-
-.. _`EU Interim Report`: http://codespeak.net/pypy/extradoc/eu-report/D09.1_Constraint_Solving_and_Semantic_Web-interim-2007-02-28.pdf
-.. _`Stackless features`: stackless.html
-
 .. _taint:
 
 The Taint Object Space