RosettaCodeData/Task/Amb/Mercury/amb-2.mercury
2023-07-01 13:44:08 -04:00

6 lines
198 B
Text

:- pred noun(string).
:- mode noun(out) is multi. % provide any one noun.
:- mode noun(in) is semidet. % fail if given string isn't a known noun.
noun("frog").
noun("elephant").
noun("thing").