On Tuesday 20 November 2007 11:01, you wrote:
> On 19 Nov 2007, at 15:44, Jan Wielemaker wrote:
> > * New library predicates: partition/4,5, append/2, include/3,
> > exclude/3,
> > merge_options/3. Probably more will follow. Thanks for the input.
>
> Jan
>
> Since the reference manual is still at 5.6.45, where do I find
> information on the currently available built-in and library predicates?
Sorry, forgot to upload the latest version. Fixed. Other than that, the
online help is always up to date and so is the PlDoc server. The
distribution installes the HTML files in ....<plbase>/doc/Manual for use
with PlDoc. Finally, there is the searchable manual at
http://gollem.science.uva.nl/SWI-Prolog/pldoc/Ultimately it would be nice to link the predicates and sections of the
manual to a taxonomy of terms from the programming world and use that
to enhance the search.
Cheers --- Jan
------------
For further info, please visit
http://www.swi-prolog.org/To unsubscribe, send a plaintext mail with "unsubscribe prolog <e-mail>"
in its body to
majordomo@...
