Replaced content with 'Category:Developer Manual __NOTOC__ see the README in our [https://github.com/bendisposto/prob Github Repository]' |
No edit summary |
||
Line 3: | Line 3: | ||
see the README in our [https://github.com/bendisposto/prob Github Repository] | see the README in our [https://github.com/bendisposto/prob Github Repository] | ||
=== 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/]. To compile the sources you need a SICStus Prolog licence. |
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 [1]. To compile the sources you need a SICStus Prolog licence.