From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.3 required=5.0 tests=BAYES_00,INVALID_MSGID autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII X-Google-Thread: 103376,30a335a9b2bdf7d4 X-Google-Attributes: gid103376,public From: "Jean-Pierre Rosen" Subject: Re: AI, security, just wondering. Date: 1998/11/16 Message-ID: <72r8bb$72h$1@platane.wanadoo.fr>#1/1 X-Deja-AN: 412689255 Content-Transfer-Encoding: 8bit References: <36484B8C.84EEC61D@interact.net.au> <36484595.1189@ddre.dk> <72inmn$90h$1@nnrp1.dejanews.com> <364F4B47.8F20F624@icon.fi> Content-Type: text/plain; charset="iso-8859-1" X-MimeOLE: Produced By Microsoft MimeOLE V4.72.2120.0 Organization: Adalog Mime-Version: 1.0 Newsgroups: comp.lang.ada Date: 1998-11-16T00:00:00+00:00 List-Id: 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