]> Repositorios git - scryer-prolog.git/commit
Merge pull request #1999 from triska/time_inferences
authorMark Thom <[email protected]>
Tue, 21 Nov 2023 22:04:26 +0000 (23:04 +0100)
committerGitHub <[email protected]>
Tue, 21 Nov 2023 22:04:26 +0000 (23:04 +0100)
commit041ec06dbc2ab0307d425a5f55392c623fe22e05
tree92e319003dcbe11ac76c14b650129d788d7f6d16
parent3841b29db865be45078a5e712f3512476c834262
parent186bba9d75692ce538ac062e5b60d3c31eeab029
Merge pull request #1999 from triska/time_inferences

ENHANCED: time/1 now shows the number of inferences