From 23b8a4d3642d7ba47b4644721d8a94250cb37405 Mon Sep 17 00:00:00 2001 From: Markus Triska Date: Sun, 19 Apr 2020 19:24:22 +0200 Subject: [PATCH] add entry for time/1 --- README.md | 3 +++ 1 file changed, 3 insertions(+) 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: -- 2.54.0