如何转换否则在Prolog中完全声明?

问题描述:

这是我的课堂问题之一。如何转换否则在Prolog中完全声明?

Question

我能与一堆的if-else,但有人告诉我的创建我自己的Prolog程序,我的计划是不是在序言根基原则其一全面声明。

这里是我的代码

%start with :- go. 
is_spicy :- 
    write('Do you want spicy? (yes/no)'), 
    read(Preference), 
    (Preference == yes -> recommend("Curry"); recommend("Kurma")). 

is_fry :- 
    write('Do you want fry food? (yes/no)'), 
    read(Preference), 
    (Preference == yes -> recommend("StirFry"); recommend("Chicken")). 

is_chili :- 
    write('Do you want chili? (yes/no)'), 
    read(Preference), 
    (Preference == yes -> recommend("Sambal"); recommend("Singgang")). 

recommend(Food) :- write('We recommend you '), write(Food). 

go :- 
    write('Which food type do you prefer? (indian, chinese, malay): '), 
    read(FoodType), 
    (
    FoodType == indian -> is_spicy; 
    FoodType == chinese -> is_fry; 
    FoodType == malay -> is_chili; 
    writeln('Please try again') 
). 

任何人有如何使它“充分声明”任何想法?

+1

很多人都知道如何使它'完全declarative',因为这是家庭作业,你应该表明你的第一次尝试,这样我们可以帮助你,而不是只是给你答案。作为提示,请参阅:[Rules](https://www.doc.gold.ac.uk/~mas02gw/prolog_tutorial/prologpages/rules.html) –

+0

@GuyCoder我熟悉Prolog中的规则是如何构建的,但在这种情况下我似乎无法得到它。现在的问题需要用户做出2个决策输入,我能想到的唯一方法是在代码中进行合并。 –

如果您解决了代码中的冗余问题,将逻辑中的数据分解出来,则可以使用更多的声明性代码。

因此,编码数据结构,并提供一个能够提问并推断后果的“解释器”。

例如

dt(food_type, 
    [indian -> dt(spicy, [ y -> curry, n -> curma ]) 
    ,chinese -> dt(fry, [ y -> stirFry, n -> chicken ]) 
    ,malay -> dt(chili, [ y -> sambal, n -> singgang ]) 
    ]). 

interpreter(dt(About, Choices), Choice) :- 
    % present a menu for choices 
    % recurse on selected path 

% when it reach a leaf, just unify 
interpreter(Choice, Choice). 

你可能要专门为Y/N唯一的选择菜单,但它给你

CapelliC作出了回答,这是更精致,我喜欢因为我也从他的回答中学到了一些。

这是一个更简单的版本,应该有助于连接点。

诀窍是将想要的最终结果看作一组单独的规则,例如, food(indian,spicy)然后如何到达他们。一旦我将答案从是/否更改为变量的值,其余的就是下山。很显然,yes/no是可以使用的,但只需要额外的编码。

food(indian) :- 
    write('Do you want spicy? (spicy/not_spicy)'), 
    read(Preference), 
    food(indian,Preference). 

food(chinese) :- 
    write('Do you want fry food? (fry/not_fry)'), 
    read(Preference), 
    food(chinese,Preference). 

food(malay) :- 
    write('Do you want chili? (chili/not_chili)'), 
    read(Preference), 
    food(malay,Preference). 

food(indian,spicy) :- recommend("Curry"). 
food(indian,not_spicy) :- recommend("Kurma"). 

food(chinese,fry) :- recommend("StirFry"). 
food(chinese,not_fry) :- recommend("Chicken"). 

food(malay,chili) :- recommend("Sambal"). 
food(malay,not_chili) :- recommend("Singgang"). 

recommend(Food) :- write('We recommend you '), write(Food). 

go :- 
    write('Which food type do you prefer? (indian, chinese, malay): '), 
    read(FoodType), 
    food(FoodType).