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-7-bit X-Google-Thread: 103376,30a335a9b2bdf7d4 X-Google-Attributes: gid103376,public From: duncan@cs.rpi.edu (Art Duncan) Subject: Re: AI, security, just wondering. Date: 1998/11/17 Message-ID: <72serk$rh2$1@newsfeeds.rpi.edu>#1/1 X-Deja-AN: 412876120 Sender: duncan@eggbeater.cs.rpi.edu (Art Duncan) References: <36484B8C.84EEC61D@interact.net.au> <36484595.1189@ddre.dk> <72inmn$90h$1@nnrp1.dejanews.com> <364F4B47.8F20F624@icon.fi> <72r8bb$72h$1@platane.wanadoo.fr> Organization: RPI Computer Science Dept. Newsgroups: comp.lang.ada Date: 1998-11-17T00:00:00+00:00 List-Id: Niklas Holsti wrote: > ... > > The really interesting issue IMHO would be to explore ways to > integrate logic programming and functional programming with Ada. > ... Jean-Pierre Rosen also wrote: > A few years ago, CR2A (a French Company) developped Adlog > (not Adalog!), a system to write Ada applications which included > a deductive part. At the risk of blowing my own horn, there was a paper in the recent SIGAda 98 Conference describing a way of integrating functional programming, lazy evaluation, and infinite data structures with Ada. I hope to have the first version of the library available at my web site http://www.cs.rpi.edu/~duncan by the end of this week. (The paper and some tutorial notes are there currently.) There will eventually be three libraries (corresponding to three different implementation approaches). I will post an announcement when each becomes available. Regards, Art Duncan Adjunct Professor of Computer Science Rensselaer Polytechnic Institute Troy, NY 12180 duncan@cs.rpi.edu