[pypy-svn] rev 1956 - pypy/trunk/doc/funding

[arigo at codespeak.net]

Author: arigo
Date: Wed Oct 15 12:51:33 2003
New Revision: 1956

Modified:
   pypy/trunk/doc/funding/B6.0_detailed_implementation.txt
Log:
expanded reference to the ASAP project (Prolog interpreter in PyPy).


Modified: pypy/trunk/doc/funding/B6.0_detailed_implementation.txt
==============================================================================
--- pypy/trunk/doc/funding/B6.0_detailed_implementation.txt	(original)
+++ pypy/trunk/doc/funding/B6.0_detailed_implementation.txt	Wed Oct 15 12:51:33 2003
@@ -246,10 +246,23 @@
 aspects. These are the extensions enabled by the flexible modularization
 (bytecode compiler, bytecode interpreter, Object Spaces, and translator)
 enabled in Phase 1. For example, it would be possible to write an interpreter
-for a completely different language (e.g. Prolog) using the same framework,
+for a completely different language using the same framework,
 leveraging the translator and thus obtaining an efficient JIT-enabled
-implementation with little effort. (Doing so for the Prolog language has been
-adopted as an implementation strategy in a current EU-funded project.)
+implementation with little effort.
+
+This is actually strongly considered as an implementation strategy for the
+Prolog language in a current EU-funded project::
+
+   We could replace with a reasonable amount of effort the core Python
+   interpreter in PyPy with an experimental Prolog interpreter. This
+   would both prove the versatility of the PyPy platform and give performance
+   results possibly far beyond the state of the art. This is a reasonable
+   assumption because the long history of Prolog is quite focused on
+   static (compile-time) optimizations.
+
+   --Armin Rigo, for ASAP, Southampton team (Advanced Specialization and
+   Analysis for Pervasive Computing), EU IST FET Programme Project Number
+   IST-2001-38059.
 
 In the context of the PyPy project, we will not replace the interpreter
 altogether, but experiment with extensions: