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,MAILING_LIST_MULTI, REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,cda7dd3a67438829,start X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2002-08-19 14:58:04 PST Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!fr.usenet-edu.net!usenet-edu.net!enst.fr!not-for-mail From: "Alexandre E. Kopilovitch" Newsgroups: comp.lang.ada Subject: ANNOUNCE: TAP (Thick Ada-Prolog) bindings Date: Tue, 20 Aug 2002 02:10:25 +0400 (MSD) Organization: h w c employees, b f Sender: comp.lang.ada-admin@ada.eu.org Message-ID: Reply-To: comp.lang.ada@ada.eu.org NNTP-Posting-Host: marvin.enst.fr Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Trace: avanie.enst.fr 1029794282 10394 137.194.161.2 (19 Aug 2002 21:58:02 GMT) X-Complaints-To: usenet@enst.fr NNTP-Posting-Date: Mon, 19 Aug 2002 21:58:02 +0000 (UTC) Return-Path: X-Mailer: Mail/@ [v2.44 MSDOS] Errors-To: comp.lang.ada-admin@ada.eu.org X-BeenThere: comp.lang.ada@ada.eu.org X-Mailman-Version: 2.0.12 Precedence: bulk List-Help: List-Post: List-Subscribe: , List-Id: comp.lang.ada mail<->news gateway List-Unsubscribe: , Errors-To: comp.lang.ada-admin@ada.eu.org X-BeenThere: comp.lang.ada@ada.eu.org Xref: archiver1.google.com comp.lang.ada:28224 Date: 2002-08-20T02:10:25+04:00 I just made available my TAP (Thick Ada-Prolog) bindings at http://www.tarkvara.com/tap These bindings assume GNAT compiler (3.13p or 3.14p) for Ada side, and Amzi Logic Server (see http://www.amzi.com) (version 6.2) for Prolog side. All command files in the distribution are for Windows (and the whole thing was tested under Windows 2000 only). Hopefully these bindings may be used with Unix/Linux also (both GNAT compiler and Amzi Logic Server are available for Solaris and Linux), but I never tried that. This is release 0.1 of the bindings, and not being familiar with Greek, I'm in doubt whether it should be considered as Alpha or Beta. You will find in the distribution the full source code of the bindinds, the manual and tutorial (in HTML form), a complete example (which apparently works), and some other stuff, including the text of the LGPL license. Send your critique, error reports, suggestions, condemnations and praises, relevant to these bindings, to: aek@acm.org or aek@vib.usr.pu.ru Alexander Kopilovitch aek@vib.usr.pu.ru Saint-Petersburg Russia