]> Repositorios git - scryer-prolog.git/commit
ENHANCED: time(Goal) now also reports the time if Goal fails
authorMarkus Triska <[email protected]>
Sun, 19 Apr 2020 19:13:15 +0000 (21:13 +0200)
committerMarkus Triska <[email protected]>
Sun, 19 Apr 2020 19:13:15 +0000 (21:13 +0200)
commit7141fb18c1c598364a22f0ff6be2773324f72860
treedfc1c018381ca6b80465176aed7aabeaff62f0a0
parent2c92be5e3df807e6da15a48ba396caccd7e37a79
ENHANCED: time(Goal) now also reports the time if Goal fails
src/prolog/lib/time.pl