________________________________________________________________________

This file is part of Logtalk <http://logtalk.org/>  
Copyright (c) 1998-2015 Paulo Moura <pmoura@logtalk.org>

This program is free software: you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation, either version 3 of the License, or
(at your option) any later version.

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

You should have received a copy of the GNU General Public License
along with this program.  If not, see <http://www.gnu.org/licenses/>.

Additional licensing terms apply per Section 7 of the GNU General
Public License 3. Consult the `LICENSE.txt` file for details.
________________________________________________________________________


This folder contains adapter files for Prolog compilers that are not yet
officially supported or no longer supported. Follows some notes on these
compilers.


Amzi! Prolog 7.6.1 and later versions

	amzi.pl

	For Amzi! Prolog 7.6.1 and later versions. You need to patch the Logtalk 
	compiler (the "core/core.pl" file) by searching for all calls of 
	':'/2 and wrap them inside call/1 (search for the text "':'(" to locate
	the calls). For better performance, use the Amzi! "acmp" command-line 
	compiler to compile the files "adapters/amzi.pl", "core/core.pl", 
	and "paths/paths.pl" and then load the resulting ".plm" files 
	using the predicate load/1 (you will need to edit the "paths.pl" file 
	by following the instructions on the "paths/NOTES.md" file).

	You will probably need to increase some of the default values (e.g. the 
	"control" parameter) in the "amzi.cfg" file in order to be able to load 
	some of the libraries or some of the examples.

	One potential problem is that the compiler definition of the compare/3 
	built-in predicate returns the atom == instead of = for identical terms 
	(contrary to every other Prolog compiler!). Search the library files for 
	all calls of the compare/3 predicate and make the necessary changes.
	The built-in sort/2 predicate does not eliminate duplicates, which may 
	result in problems with some of the examples. Don't forget to use the 
	chdir/1 predicate to set the working directory before loading a library 
	or an example. Support for settings files not tested.


Bin-Prolog 8.x~10.x

	bin.pl

	Start BinProlog using "bp -l4". You will need to create project files to 
	workaround the restriction of only one top-level file per interactive 
	session. For instance, the project file for the "metapredicates" example
	will look like (in the Unix version):

		:- ['$LOGTALKHOME/adapters/bin.pl'].
		:- ['$LOGTALKHOME/core/core.pl'].
		...
		:- ['$LOGTALKUSER/examples/metapredicates/meta.pl'].
		:- ['$LOGTALKUSER/examples/metapredicates/sort1.pl'].
		...

	You will probably want to have a project file including only the adapter
	and the compiler/runtime files (core.pl) in order to compile the
	examples using logtalk_compile/1-2 (do NOT use logtalk_load/1-2 or the 
	provided loader files). Don't forget to call the cd/1 predicate to set 
	the working directory before compiling the library or an example. 
	Supports smart compilation of source files. Support for settings files 
	not tested.

	Updated and tested with help of Arun Majumdar.


CIAO Prolog 1.14.0

	ciao.pl

	The definition of the predicate '$lgt_predicate_property'/2 in the 
	file "ciao_aux.pl" is a bit of a hack, but should enable you to run 
	the Logtalk companion examples and to try out your own Logtalk 
	programs. 

	Don't forget to call the cd/1 predicate to set the working directory 
	before compiling the library or an example (you will need first to 
	load the library system that exports the cd/1 predicate by calling 
	the goal use_module(library(system)).


IF/Prolog 5.3 and later versions

	if.pl

	IF/Prolog 5.3 supports the ISO Prolog standard. No problems expected
	but not tested (my email requests for an evaluation version were never
	answered). Don't forget to use the chdir/1 predicate to set the 
	working directory before loading the library or an example. Supports 
	smart compilation of source files. Does not support the "altdirs" 
	compiler flag. Full support for settings files on POSIX operating-
	systems. Support for settings files on Windows unknown.


Jekejeke Prolog 1.0.4

	Not yet tested as version 1.0.4 is still in development and some of
	its new built-in predicates (e.g. for operating-system access) are
	not yet stable.


LPA MacProlog32 1.25

	lpamac.pl

	This is my old Prolog development environment. Two known problems: (1) an
	LPA bug in operator handling that make calls like "\+ ::Pred" be 
	interpreted like "::(\+ Pred)" instead of "\+ (::Pred)". A workaround is 
	to replace all occurrences of "\+ ::Pred" by "\+ (::Pred)"; (2) If you call
	the \+ operator in your code the writeq/1 built-in don't always output a 
	space after the operator resulting in calls like "\+(...)". Because \+ is 
	not defined as a predicate this will fail. Don't forget to use the dvol/1 
	predicate to set the working directory before loading an example.
	Due to the size of the Logtalk compiler/runtime file, you must load it by 
	using the consult/1 predicate instead of using the File:Open menu option.
	Be aware that this adapter file redefines some built-ins that
	you may use in your own programs. You must be careful to not consult the 
	adapter file twice. Supports smart compilation of source files. Does not 
	support the "altdirs" compiler flag. Settings files are not supported 
	(must be manually loaded after starting Logtalk).


LPA WinProlog32 4.0x

	lpawin.pl

	Written with the help of the LPA support team. Of course, if you find
	any bugs please direct your flames to me ;-). Be aware that this adapter
	file redefines some built-ins that you may use in your programs. Don't 
	forget to use the chdir/1 predicate to set the working directory before 
	loading the library or an example. Be careful to not consult the adapter 
	file twice. Supports smart compilation of source files. Does not support 
	the "altdirs" compiler flag. Settings files are not supported (must be 
	manually loaded).


tuProlog 2.9.0

	Incomplete. Missing tuProlog features include de facto standard predicates
	(such as between/3, numbervars/3, and predicate_property/2) and operating-
	system access predicates (notably for getting and setting the current
	directory).
