[pypy-svn] r41457 - in pypy/dist/pypy/doc: . play1

[cfbolz at codespeak.net]

Author: cfbolz
Date: Tue Mar 27 13:23:57 2007
New Revision: 41457

Modified:
   pypy/dist/pypy/doc/_ref.txt
   pypy/dist/pypy/doc/play1/pyrolog-c.html
   pypy/dist/pypy/doc/prolog-interpreter.txt
Log:
update prolog bits a small bit, change the play1 docs to link to it


Modified: pypy/dist/pypy/doc/_ref.txt
==============================================================================
--- pypy/dist/pypy/doc/_ref.txt	(original)
+++ pypy/dist/pypy/doc/_ref.txt	Tue Mar 27 13:23:57 2007
@@ -45,6 +45,10 @@
 .. _`lang/`: ../../pypy/lang
 .. _`lang/js/`: ../../pypy/lang/js
 .. _`lang/prolog/`: ../../pypy/lang/prolog
+.. _`pypy/lang/prolog/builtin/`: ../../pypy/lang/prolog/builtin
+.. _`pypy/lang/prolog/builtin/control.py`: ../../pypy/lang/prolog/builtin/control.py
+.. _`pypy/lang/prolog/interpreter/engine.py`: ../../pypy/lang/prolog/interpreter/engine.py
+.. _`pypy/lang/prolog/interpreter/term.py`: ../../pypy/lang/prolog/interpreter/term.py
 .. _`lib/`:
 .. _`pypy/lib/`: ../../pypy/lib
 .. _`lib/app_test/`: ../../pypy/lib/app_test

Modified: pypy/dist/pypy/doc/play1/pyrolog-c.html
==============================================================================
--- pypy/dist/pypy/doc/play1/pyrolog-c.html	(original)
+++ pypy/dist/pypy/doc/play1/pyrolog-c.html	Tue Mar 27 13:23:57 2007
@@ -1 +1,3 @@
-The Prolog interpreter compiled to C.
+The <a href="http://codespeak.net/pypy/dist/pypy/doc/prolog-interpreter.html">
+    Prolog interpreter</a>
+compiled to C.

Modified: pypy/dist/pypy/doc/prolog-interpreter.txt
==============================================================================
--- pypy/dist/pypy/doc/prolog-interpreter.txt	(original)
+++ pypy/dist/pypy/doc/prolog-interpreter.txt	Tue Mar 27 13:23:57 2007
@@ -5,7 +5,7 @@
 .. contents::
 
 Pyrolog, PyPy's Prolog interpreter was written by Carl Friedrich Bolz as part of
-his bachelor thesis. It aims at being fully implementing the `Prolog ISO
+his bachelor thesis. It aims at fully implementing the `Prolog ISO
 specification`_. Currently it implements the core Prolog semantics and many, but
 not all, ISO builtins (it is especially lacking when it comes to I/O and module
 support). Its speed is still quite a bit below that of highly optimized Prologs,
@@ -50,7 +50,7 @@
  
 
 A more complicated example with an actual function: First define the function
-using ``assertz``:
+using ``assertz``::
 
     pypy/bin$ ./pyrolog.py
     PyPy Prolog Console
@@ -155,4 +155,13 @@
     pypy/translator/goal$ python translate.py targetprologstandalone.py
 
 
+Some implementation notes
+=========================
 
+The main Prolog data structures including the unification algorithm are defined
+in `pypy/lang/prolog/interpreter/term.py`_. The Prolog resolution engine in
+`pypy/lang/prolog/interpreter/engine.py`_. All the builtins are defined in the
+`pypy/lang/prolog/builtin/`_ directory, the most important ones being in
+`pypy/lang/prolog/builtin/control.py`_.
+
+.. include:: _ref.txt