I’m using: SWI-Prolog version 9.2.9
sleep/1 does not run anymore
?- sleep(10).
false.
Without details there is not much to say. Did it ever work? How did you install this version? Is any other code loaded that may be redefining sleep/1? The last seems the most plausible. Try
?- predicate_property(sleep(_), Prop).
That should give built_in, foreign and imported_from(system) (and a couple of others).
1 Like
THANKS Jan
this is the answer
?- predicate_property(sleep(_), Prop).
Prop = interpreted ;
Prop = visible ;
Prop = static ;
Prop = file(‘/home/aldo/IA/AA2025-26/ricercaSpazioStati/dimostratore.pl’) ;
Prop = line_count(94) ;
Prop = number_of_clauses(1) ;
Prop = number_of_rules(0) ;
Prop = last_modified_generation(17296) ;
Prop = defined ;
Prop = size(248).
I’ve just re-installed the binary through
sudo apt-get -y install swi-prolog-full
sounds strange …
now it seems to work again …
sorry, let me think a bit for that …
sorry
[SOLVED]
in the consulted file there was a period (.) instead of a comma (,) before the call to sleep(_), so the predicate was beed REDEFINED …
Sorry for having bothered you
Bye and THANKS SO MUCH …