From: Markus Triska Date: Sun, 19 Apr 2020 17:24:22 +0000 (+0200) Subject: add entry for time/1 X-Git-Tag: v0.8.123~124^2 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=23b8a4d3642d7ba47b4644721d8a94250cb37405;p=scryer-prolog.git add entry for time/1 --- diff --git a/README.md b/README.md index d0c06988..64768c23 100644 --- a/README.md +++ b/README.md @@ -304,6 +304,9 @@ The modules that ship with Scryer Prolog are also called CLP(B): Constraint Logic Programming over Boolean variables, a BDD-based SAT solver provided via the predicates `sat/1`, `taut/2`, `labeling/1` etc. +* [`time`](src/prolog/lib/time.pl) + `time/1` reports the CPU time of a goal. It is useful + for measuring the performance of your code. To use predicates provided by the `lists` library, write: