search

mthom / scryer-prolog

A modern Prolog implementation written mostly in Rust.
BSD 3-Clause "New" or "Revised" License
1.93k stars 116 forks source link

Warning message ununderstandable #2389

Closed flexoron closed 2 months ago

flexoron commented 2 months ago 
$ scryer-prolog -f
?- assertz(clpz:monotonic).
   true.
?- use_module(library(clpz)).
% Warning: overwriting $clause/2 because the clauses are discontiguous
   true.
?-

What is the epistemic value of this message (for users)?

flexoron commented 2 months ago

Warning warns you not to do something like this: #2390 Well? Warning label review here, too. #2390