Multivalued prolog
Read the
README
file for software description.
Download