Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!swrinde!zaphod.mps.ohio-state.edu!pacific.mps.ohio-state.edu!linac!att!rutgers!rochester!kodak!uupsi!sunic!news.funet.fi!funic!fuug!demos!bil
From: bil@hq.demos.su (Igor L. Bel'chinskiy)
Newsgroups: comp.lang.prolog
Subject: Something (from USSR). Cooperation.
Message-ID: <1990Dec3.134857.6130@hq.demos.su>
Date: 3 Dec 90 13:48:57 GMT
Organization: DEMOS, Moscow, USSR
Lines: 57


    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.


Brought to you by Super Global Mega Corp .com