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:

  [log in to unmask]

or

  [log in to unmask]


Alexander Kopilovitch                      [log in to unmask]
Saint-Petersburg
Russia