[pypysvn] r41541  pypy/dist/pypy/doc
cfbolz at codespeak.net
cfbolz at codespeak.net
Tue Mar 27 20:29:33 CEST 2007
Author: cfbolz
Date: Tue Mar 27 20:29:32 2007
New Revision: 41541
Modified:
pypy/dist/pypy/doc/howtologicobjspace.txt
Log:
fix some things in the logic howto
Modified: pypy/dist/pypy/doc/howtologicobjspace.txt
==============================================================================
 pypy/dist/pypy/doc/howtologicobjspace.txt (original)
+++ pypy/dist/pypy/doc/howtologicobjspace.txt Tue Mar 27 20:29:32 2007
@@ 28,12 +28,12 @@
To fire up a working standard PyPy with the the constraint library,
please type::
 /rootofpypydist/pypy/bin/py.py withmod_cslib
+ rootofpypydist/pypy/bin/py.py withmod_cslib
To fire up a working PyPy with the LO (including the constraint
solving library), please type::
 /rootofpypydist/pypy/bin/py.py o logic
+ rootofpypydist/pypy/bin/py.py o logic
More information is available in the `EU Interim Report`_, especially
with respect to the (unfinished) integrated framework for constraint
@@ 89,15 +89,13 @@
Unify is thus defined as follows (it is symmetric):
.. raw:: latex

 \begin{center}
 \begin{tabular}{lll} \hline
 \textbf{Unify} & \textbf{value} & \textbf{unbound var} \\ \hline
 \textbf{value} & equal? & bind \\ \hline
 \textbf{unbound var} & bind & alias \\ \hline
 \end{tabular}
 \end{center}
+++++
+ ``Unify``  **value**  **unbound var** 
+++++
+ **value**  equal?  bind 
+++++
+ **unbound var**  bind  alias 
+++++
Unifying structures devoid of logic variables, like::
@@ 132,7 +130,7 @@
Logic variables support the following operators (with their arity):
Predicates
+Predicates::
is_free/1
any > bool
@@ 143,12 +141,12 @@
alias_of/2
logic vars. > bool
Variable Creation
+Variable Creation::
newvar/0
nothing > logic variable
Mutators
+Mutators::
bind/2
logic var., any > None
@@ 261,10 +259,12 @@
======================
PyPy comes with a flexible, extensible constraint solver engine based
on the CPython Logilab constraint package (and we paid attention to
+on the CPython `Logilab constraint package`_ (and we paid attention to
API compatibility). We therein describe how to use the solver to
specify and get the solutions of a constraint satisfaction problem.
+.. _`Logilab constraint package`: http://www.logilab.org/view?rql=Any%20X%20WHERE%20X%20eid%20852
+
Specification of a problem
++++++++++++++++++++++++++
@@ 276,7 +276,7 @@
So we basically need a way to declare variables, their domains and
relations; and something to hold these together.
Let's have a look at a reasonnably simple example of a constraint
+Let's have a look at a reasonably simple example of a constraint
program::
from cslib import *
More information about the Pypycommit
mailing list