From dd4832e40b48a9cb3b9b4c4f0439def2c76e253f Mon Sep 17 00:00:00 2001 From: Mark Thom Date: Wed, 29 Apr 2020 18:42:17 -0300 Subject: [PATCH] add ordsets.pl to README --- README.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/README.md b/README.md index a48295c9..43b47ccc 100644 --- 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 -- 2.54.0