changeset 52:cbaa3546f3f8

Add extra thought on why you sometimes get "no" and sometimes "yes" after variable lists
author IBBoard <dev@ibboard.co.uk>
date Tue, 26 Sep 2017 19:42:02 +0100
parents 178b18b4f9ba
children 005ae3fad18f
files 3-Prolog/day1-food.pl
diffstat 1 files changed, 3 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- 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