Path: news.sonic.net!nnrp0.nntp.sonic.net!199.245.68.21.MISMATCH!spool1.nntp.sonic.net!news-xfer.nntp.sonic.net!news.kjsl.com!news.glorb.com!postnews.google.com!50g2000hsm.googlegroups.com!not-for-mail
From:  morozov@mail.cplire.ru
Newsgroups: comp.lang.prolog
Subject: Compiler of Actor Prolog is available for testing
Date: Fri, 28 Sep 2007 09:57:35 -0700
Organization: http://groups.google.com
Lines: 37
Message-ID: <1190998655.662013.97090@50g2000hsm.googlegroups.com>
NNTP-Posting-Host: 195.208.192.19
Mime-Version: 1.0
Content-Type: text/plain; charset="koi8-r"
X-Trace: posting.google.com 1190998655 19950 127.0.0.1 (28 Sep 2007 16:57:35 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Fri, 28 Sep 2007 16:57:35 +0000 (UTC)
User-Agent: G2/1.0
X-HTTP-UserAgent: Opera/9.23 (Windows 98; U; en),gzip(gfe),gzip(gfe)
X-HTTP-Via: bravo.cplire.ru:3128 (Oops 1.5.24)
Complaints-To: groups-abuse@google.com
Injection-Info: 50g2000hsm.googlegroups.com; posting-host=195.208.192.19;
   posting-account=ps2QrAMAAAA6_jCuRt2JEIpn5Otqf_w0
Xref: news.sonic.net comp.lang.prolog:37425

Dear colleagues,

It is my pleasure to inform you that compiler of Actor Prolog is
available for testing. Please inform me if you want to get compiler
(morozov@mail.cplire.ru). The first results of testing are published
on our Web Site (http://www.cplire.ru/Lab144/index.html).

I would like to inform you that new papers are published in the
proceedings of ICLP'2007. These papers are available on our Web Site
too:

Morozov A.A. Operational Approach to the Modified Reasoning, Based
on the Concept of Repeated Proving and Logical Actors / Salvador
Abreu, Vitor Santos Costa (Eds.), Proc. of the Seventh Colloquium on
Implementation of Constraint and Logic Programming. - Porto,
Portugal, September 8, 2007. - pp.1-15.
(http://www.cplire.ru/Lab144/ciclops07.pdf)

Morozov A.A. Visual Logic Programming Method Based on Structural
Analysis and Design Technique / Veronica Dahl, Ilkka Niemela (Eds.),
Logic Programming: 23rd International Conference, ICLP 2007 (Porto,
Portugal, September 2007) Proceedings. - Springer-Verlag, 2007. -
LNCS 4670. - pp.436-437.
(http://www.cplire.ru/Lab144/iclp07.pdf)

Sincerely yours,

Dr. Alexei A. Morozov

mailto: morozov@mail.cplire.ru

http://www.cplire.ru/Lab144
Institute of Radio Engineering and Electronics RAS

P.S. The night photos of Porto are not published still, but I am going
to do this. ;)