From: "Jean-Pierre Rosen" <rosen.adalog@wanadoo.fr>
Subject: Re: AI, security, just wondering.
Date: 1998/11/16
Date: 1998-11-16T00:00:00+00:00 [thread overview]
Message-ID: <72r8bb$72h$1@platane.wanadoo.fr> (raw)
In-Reply-To: 364F4B47.8F20F624@icon.fi
Niklas Holsti a �crit dans le message <364F4B47.8F20F624@icon.fi>...
>The really interesting issue IMHO would be to explore ways to
>integrate logic programming and functional programming with Ada.
>After all, if an Ada application just needs to do some Prolog
>processing, current O/S and middleware tools make it fairly
>easy to create a loose coupling between the Ada program and
>some existing Prolog processor. Only a tighter coupling would
>motivate integrating the Prolog processor with the Ada program.
A few years ago, CR2A (a French Company) developped Adlog
(not Adalog!), a system to write Ada applications which included
a deductive part. Prolog clauses were described in the form of
aggregates, then passed to a Prolog interpreter, also written in
Ada.
The product disappeared due to a lack of customers. I don't
know if it could be revived if there is an interest.
----------------------------------------------------------------------------
J-P. Rosen (Rosen.Adalog@wanadoo.fr)
Visit Adalog's web site at http://perso.wanadoo.fr/adalog
next prev parent reply other threads:[~1998-11-16 0:00 UTC|newest]
Thread overview: 11+ messages / expand[flat|nested] mbox.gz Atom feed top
1998-11-11 0:00 AI, security, just wondering Dizzy Casablanca
1998-11-10 0:00 ` Hans Marqvardsen
1998-11-12 0:00 ` Dale Stanbrough
1998-11-12 0:00 ` Jon S Anthony
1998-11-14 0:00 ` dewarr
1998-11-15 0:00 ` Niklas Holsti
1998-11-16 0:00 ` Jean-Pierre Rosen [this message]
1998-11-17 0:00 ` Art Duncan
1998-11-15 0:00 ` Jon S Anthony
1998-11-10 0:00 ` Samuel Mize
1998-11-10 0:00 ` Robert A Duff
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox