From b499c575bc6a701fe16ddd5d3208e66850cc6222 Mon Sep 17 00:00:00 2001 From: Markus Triska Date: Wed, 29 Apr 2020 22:02:51 +0200 Subject: [PATCH] include library(arithmetic) in the overview Many thanks to @notoria for these very useful predicates! --- README.md | 3 +++ 1 file changed, 3 insertions(+) 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 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. +* [`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 time of a goal. It is useful for measuring the performance of your code. -- 2.54.0