# HG changeset patch # User IBBoard # Date 1506451322 -3600 # Node ID cbaa3546f3f8e7ebf3655200357d137a84c16fc9 # Parent 178b18b4f9ba16db311eb031c32bd93041e4cb8f Add extra thought on why you sometimes get "no" and sometimes "yes" after variable lists diff -r 178b18b4f9ba -r cbaa3546f3f8 3-Prolog/day1-food.pl --- a/3-Prolog/day1-food.pl Mon Sep 25 20:49:52 2017 +0100 +++ b/3-Prolog/day1-food.pl Tue Sep 26 19:42:02 2017 +0100 @@ -16,4 +16,6 @@ % Note: flavour(sweet, What) will return 'yes' and a closed set of answers because it is just all of the facts % but "food_flavour(What, meat)" will return answers and then say 'no', because it hasn't been given a flavour() % fact for "ritz"/"cracker". -% This doesn't explain why "food(What, meat)" returns "no" after spam and sausage, though. \ No newline at end of file +% This doesn't explain why "food(What, meat)" returns "no" after spam and sausage, though. Maybe because there's +% flavour(savoury, meat) so Prolog knows savoury is associated with meat but doesn't know whether it is in a food() +% fact without more processing? \ No newline at end of file