Multivalued prolog