add entry for time/1

diff --git a/README.md b/README.md
index d0c06988078ce44acb470ec83b39dbdac1eec557..64768c23f31a52516c6812a55cb3a6a1098d8abd 100644 (file)
--- 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: