Did you know ... Search Documentation:
Pack aleph -- prolog/examples/constraints.pl
PublicShow source