]> Repositorios git - scryer-prolog.git/commit
projects / scryer-prolog.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a3e83d5) | patch
ENHANCED: time/1 now shows the number of inferences
authorMarkus Triska <[email protected]>
Tue, 21 Nov 2023 19:31:48 +0000 (20:31 +0100)
committerMarkus Triska <[email protected]>
Tue, 21 Nov 2023 19:36:44 +0000 (20:36 +0100)
commit186bba9d75692ce538ac062e5b60d3c31eeab029
treef361a93b241e9a2c54ba40190950406eed57a114tree | snapshot
parenta3e83d59be22c7a0e1dd4639cefb85708614d718commit | diff
ENHANCED: time/1 now shows the number of inferences

Example:

    ?- time(member(X, "abc")).
       % CPU time: 0.000s, 1 inference
       X = a
    ;  % CPU time: 0.000s, 3 inferences
       X = b
    ;  % CPU time: 0.000s, 3 inferences
       X = c.

This is an initial step towards addressing #1039.
src/lib/time.pl diff | blob | history
FORK: A modern Prolog implementation written mostly in Rust