From: Markus Triska <triska@metalevel.at>
Date: Wed, 29 Apr 2020 20:02:51 +0000 (+0200)
Subject: include library(arithmetic) in the overview
X-Git-Tag: v0.8.123~92^2^2^2~1
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=b499c575bc6a701fe16ddd5d3208e66850cc6222;p=scryer-prolog.git

include library(arithmetic) in the overview

Many thanks to @notoria for these very useful predicates!
---

diff --git a/README.md b/README.md
index a48295c9..6772ed71 100644
--- a/README.md
+++ b/README.md
@@ -360,6 +360,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.
+* [`arithmetic`](src/prolog/lib/arithmetic.pl)
+  Arithmetic predicates such as `lsb/2`, `msb/2` and
+  `number_to_rational/2`.
 * [`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.