bil@hq.demos.su (Igor L. Bel'chinskiy) (12/03/90)
My friends asked me put following message to news. Please
do not respond me.
Igor.
------------------------------------------------------------
Call for cooperation.
Currently one of the most promising directions in Logic
programming concerns with implementation efficient interfaces
between Prolog and Data Base Systems. The most significant problem
hear is impedance mismatch between WAM and Data Base Engine,
because WAM uses backtracking for retrieval tupples for predicate,
whereas DBMS use set-oriented algorithms.
Thus we are going to start experimental implementation of
special support for efficient interface between Prolog and
Relational DBMS. We are going to use modern optimization techniques
based upon logic program transformation and abstract
interpretation. Also we have plans to organize development of
special hardware support for this interface.
We have some dreams about implementation of objects and
distributed processing in deductive data base environment and
optimization algorithms based on static transformation. Now we
have experiment implementation of powerful static transformation
optimizer based on abstract interpretation. This optimizer can be
used as a compiler for meta-logic programs (i.e. for elimination
of meta-interpretation levels by unfolding and term rewriting). We
have significant experience in implementation of
MPROLOG system and very good relations with authors of this system
from IQ Soft, Budapest. We have all sources of this system, so we
are able to implement any special interface for MPROLOG
abstract machine.
We have only a few prolog specialists in the USSR and there
are no clever users, who can help us with good applications. So we
need any kind of cooperation in this field, and we will be very
glad if we can find partners for this activity or project we can
join with.
Dmitri Boulanger, Ph.D.
Alexander Zhuravliov, M.S.C.S.
Evgeny Kitaev,M.S.C.S.
USSR Academy of Sciences,
Institute for Informatics Problems (IPIAN),
30/6, Vavilov str., V-334,
Moscow 117900
USSR
FAX: 7 (095) 310-7050 (8am-3pm GMT)
TELEX: 411 853 INFO SU
--
Igor L. Bel'chinskiy. bil@hq.demos.su
Demos, Moscow, USSR. and Institute for Informatics Problems of the Academy
of Sciences of USSR (IPIAN), Moscow, USSR.