add ordsets.pl to README

diff --git a/README.md b/README.md
index a48295c9568293a15791136adc1dc1c3ba2d7de5..43b47ccc6afd2cc4542977c8a17e01eb592e264c 100644 (file)
--- a/README.md
+++ b/README.md
@@ -356,6 +356,8 @@ The modules that ship with Scryer Prolog are also called
   providing `empty_assoc/1`, `get_assoc/3`, `put_assoc/4` etc.
   to manage elements in AVL trees which ensure
   *O*(log(*N*)) access.
+* [`ordsets`](src/prolog/lib/ordsets.pl)
+  represents ordered sets as lists.
 * [`clpb`](src/prolog/lib/clpb.pl)
   CLP(B): Constraint Logic Programming over Boolean variables,
   a BDD-based SAT solver provided via the predicates