New SIG on logic/CLP programming in Python

[Boris^2]

Nicolas Chauvat wrote:
> 
> Now, what if you need logical programming? Use pyprolog. And copy
> your data back-and-forth from prolog-space to python space. Or look
> at Mozart/Oz. Yeah, it's all there too: procedure, functions, objects,
> concurrency, logic, constraint-propagation, even distribution and
> security.
> 
> Right, but the syntax is... difficult.

Rather. And makes one wonder if the way to go would not be to compile
python source syntax to the Oz or Erlang VM... while adding to it
something in the way Screamer adds to Common Lisp. (Erlang has a nice
syntax, BTW).

Another thing I am missing in python is Prolog-type metaprogramming
and/or lisp-type macro; first step would be S-expressions; the closest
python provides are the syntax trees from the parser module, but...
well, they really don't provide a similar facility. Now what about
defining a two-way translation to a syntax Lisp or Scheme systems could
read as S-expressions that could then be intelligently manipulated
by lisp-technology macros ?

> I am looking for interested people to form a Logic-SIG or CLP-SIG.

Count me in, especially for useless commenting :)

Regards,

Boris Borcic
--
Python >>> filter(lambda W : W not in "ILLITERATE","BULLSHIT")