No edit summary |
No edit summary |
||
| Line 8: | Line 8: | ||
=== The Prolog Sources === | === The Prolog Sources === | ||
If you want to contribute to the Prolog part of ProB, if you want to extend the ProB API, or need them as reference, you need the Prolog sources which can be downloaded from [http://nightly.cobra.cs.uni-duesseldorf.de/source/ http://nightly.cobra.cs.uni-duesseldorf.de/source/]. To compile the sources you need a [http://www.sics.se/isl/sicstuswww/site/index.html SICStus Prolog] licence. | If you want to contribute to the Prolog part of ProB, if you want to extend the ProB API, or need them as reference, you need the Prolog sources which can be downloaded from [http://nightly.cobra.cs.uni-duesseldorf.de/source/ http://nightly.cobra.cs.uni-duesseldorf.de/source/]. To compile the sources you need a [http://www.sics.se/isl/sicstuswww/site/index.html SICStus Prolog] licence. | ||
=== Running ProB from Prolog === | |||
You first need to download and install [http://www.sics.se/isl/sicstuswww/site/index.html SICStus Prolog]. | |||
You need the password to download SICStus then run <tt>sudo ./InstallSICStus</tt> and provide the site name, license code and expiration date. | |||
Probably you should also install a recent Active Tcl distribution. | |||
Now, you need the ProB Prolog sources. | |||
If you have access to our Gitlab server then the information is here: | |||
[http://gitlab.cobra.cs.uni-duesseldorf.de/prob/prob_prolog http://gitlab.cobra.cs.uni-duesseldorf.de/prob/prob_prolog]. | |||
Now, add the following to your <tt>.bash_login</tt> file (at least on Mac OS): | |||
alias prob='cd $PROB_SOURCE_DIR; unlimit; sics -Dprob_profile=true -l $PROB_SOURCE_DIR/prob_tcltk.pl --goal "go."' | |||
Now, you can simply start ProB from the command-line and from source with <tt>prob</tt>. | |||
see the README in our Github Repository
If you want to contribute to the Prolog part of ProB, if you want to extend the ProB API, or need them as reference, you need the Prolog sources which can be downloaded from http://nightly.cobra.cs.uni-duesseldorf.de/source/. To compile the sources you need a SICStus Prolog licence.
You first need to download and install SICStus Prolog.
You need the password to download SICStus then run sudo ./InstallSICStus and provide the site name, license code and expiration date.
Probably you should also install a recent Active Tcl distribution.
Now, you need the ProB Prolog sources. If you have access to our Gitlab server then the information is here: http://gitlab.cobra.cs.uni-duesseldorf.de/prob/prob_prolog.
Now, add the following to your .bash_login file (at least on Mac OS):
alias prob='cd $PROB_SOURCE_DIR; unlimit; sics -Dprob_profile=true -l $PROB_SOURCE_DIR/prob_tcltk.pl --goal "go."'
Now, you can simply start ProB from the command-line and from source with prob.