search

SWI-Prolog / roadmap

Discuss future development
21 stars 3 forks source link

Porting cTI to SWI-Prolog #18

Closed triska closed 4 years ago

triska commented 9 years ago

cTI is a a termination analyzer for Prolog programs.

For more information, see

http://www.cs.unipr.it/cTI/

Currently, cTI requires SICStus Prolog. I have implemented library(clpb) for SWI-Prolog so that at least substantial portions of this analyzer can be ported to SWI-Prolog too. Some additional interface predicates to access BDDs may be needed to port more advanced features of cTI. I will provide these predicates if they are necessary.

Having such an analyzer, integrated in SWISH, would help explain termination properties of Prolog programs to beginners. Please contact me if you are working on this item and need any additional features from library(clpb) or other constraint libraries.

RobertoBagnara commented 9 years ago

As far as I know, the most recent version is this one: http://www.cs.unipr.it/cTI/

triska commented 9 years ago

Thank you Roberto, I have updated the link!