OKlibrary  0.2.1.6
Prolog.hpp File Reference

Plans regarding installation of Prolog systems. More...

Go to the source code of this file.


Detailed Description

Plans regarding installation of Prolog systems.

Todo:
Swi Prolog
  • http://www.swi-prolog.org/
  • It seems we should install the latest stable version 5.6.63.
  • DONE (see INSTALL file in package) On their web page I can't find any information on how to install the package?
  • For example it uses Gmp, and we want to use our locally installed Gmp.
  • Manual installation:
    builds/Prolog> tar -xzf ../../sources/Prolog/Swi/pl-5.6.63.tar.gz
    builds/Prolog/pl-5.6.63/src> ./configure --prefix=Path-to-ExternalSources/builds/Prolog/
    builds/Prolog/pl-5.6.63/src> make
    builds/Prolog/pl-5.6.63/src> make check
    builds/Prolog/pl-5.6.63/src> make install
       
    works.
Todo:
Gnu Prolog

Definition in file Prolog.hpp.