add entry for time/1

2020-04-19 19:24:22 +02:00
parent c0df8cb578
commit 23b8a4d364
1 changed files with 3 additions and 0 deletions
--- a/README.md
+++ b/README.md
@@ -304,6 +304,9 @@ The modules that ship with Scryer&nbsp;Prolog are also called
  CLP(B): Constraint Logic Programming over Boolean variables,
  a BDD-based SAT&nbsp;solver provided via the predicates
  `sat/1`, `taut/2`, `labeling/1` etc.
+* [`time`](src/prolog/lib/time.pl)
+  `time/1` reports the CPU&nbsp;time of a goal. It is useful
+  for measuring the performance of your code.

 To use predicates provided by the `lists` library, write: