issues
search
friguzzi
/
cplint
cplint is a suite of programs for reasoning with probabilistic logic programs
Other
67
stars
14
forks
source link
Janw
#33
Closed
JanWielemaker
closed
4 years ago
JanWielemaker
commented
4 years ago
Make offline SWI-Prolog IDE tools work on cplint:
As is, these were not loadable because term expansion in pita.pl blocked loading arbitrary Prolog code.
Renamed system:term_expansion/2 to pita_expansion/2
Call this at the end from system:term_expansion/2, but only when not using for cross-referencing.
Moved highlight support from cplint-on-swish to this repo, such that PceEmacs and the debugger use it.
Make offline SWI-Prolog IDE tools work on cplint: