Provides generalized versions of common Prolog predicates using constraints to make them more flexible and declarative.
Here you can share your experience with the project you are suggesting or its comparison with constrained.pl. Optional.
A valid email to send you a verification link when necessary or log in.