HIGHLIGHTS
- who: Prolog et al. from the Institut für Informatik, Universität Düsseldorf, Universitätsstr1, Düsseldorf, Germany have published the Article: Making ProB Compatible with SWI-Prolog, in the Journal: (JOURNAL)
- what: The authors examine one such application: which has been developed for over 20 years in SICStus The article describes how the authors managed to refactor the codebase of to also support with the goal of verifying ProB's results using two independent toolchains. After this, the authors focused on making all of ProB's basic unit tests pass on SWI-Prolog . . .
If you want to have access to all the content you need to log in!
Thanks :)
If you don't have an account, you can create one here.