[comp.lang.prolog] tools & modules in Quintus-Prolog

bruno@ecrcvax.UUCP (Bruno Poterie) (02/11/88)

------------------------------------------------------------------------------
Sorry if you already received this message. A typo in the header probably
caused the first sending to abort, hence this retry. Feel free to apply cut !
------------------------------------------------------------------------------
Hello,
did some of you used the Quintus meta_predicate mechanism to write tools?
i mean, such as your own version of setof/bagof, or a customised top-level,...
i would like to hear about such experiences, if it was easy or not, if there
were some problems or not, etc... and especially if it was combined with the
explicit ':' module specification or absolutely transparent.
Please mail me, and i will sumarise and post to the net.
Thank you very much in advance,
--bruno

================================================================================
  Bruno Poterie		# ... une vie, c'est bien peu, compare' a un chat ...
  ECRC GmbH		#		tel: (49)89/92699-161
  Arabellastrasse 17	#		Tx: 5 216 910
  D-8000 MUNICH 81	#		mcvax!unido!ecrcvax!bruno
  West Germany		#		bruno%ecrcvax.UUCP@Germany.CSNET
================================================================================

ok@quintus.UUCP (Richard A. O'Keefe) (02/17/88)

In article <497@ecrcvax.UUCP>, bruno@ecrcvax.UUCP (Bruno Poterie) writes:
> Hello,
> did some of you used the Quintus meta_predicate mechanism to write tools?
> i mean, such as your own version of setof/bagof, or a customised top-level,...
> i would like to hear about such experiences, if it was easy or not, if there
> were some problems or not, etc... and especially if it was combined with the
> explicit ':' module specification or absolutely transparent.
> Please mail me, and i will sumarise and post to the net.

Would anyone who intends to reply to that message
		***PLEASE***
send a copy to us at Quintus as well?

Anyone who has done this *should* have found it easy:  the library contains
lots of examples, such as library(setof), library(call), library(foreach),
library(maplist), library(retract).  It is probably easier to build on
these (particularly library(call)) than to start from scratch.