1

TL;DR：需要帮助调用一个规则，因为
我从 Prolog 开始，来自 C 并且让东西工作......直到它们显然被破坏了。我正在为自己编写一个小型汽车油漆程序，因为我正在学习这种新语言

我试图用一个事实来调用一个规则（这可能吗？），我想做的是使用一个事实“汽车”和另一个事实“油漆”来制作一个包含所有不同汽车的大清单油漆。我无法让代码按我的意愿工作......看看

我得到了事实： 

cars([ferrari, bmw, ford, jaguar]).  
paints([red, white, blue, yellow]).  

/*Now I wanted to loop through each car, eachtime printing 
out the different paint combinations of that car:  */

start:- loop_cars(cars(C)).  /*starts loop_cars with all the cars e.g [ferrari...]*/
                             /*but it false here, even if C = [ferrari...]*/
loop_cars([]).  
loop_cars([Ca|Rest]):-  
    loop_paints(Ca,paints(P)),  /*The car is sent off for a paint job,...*/
    loop_cars(Rest).            /*...(cont from above) same false here as before*/

loop_paints(_,[]).  
loop_paints(Ca,[Pa|Rest]):-  /*This works*/
    write([Ca,Pa]),  /*Writes it like "[ferrari, white] [ferrari, blue] ..."*/
    loop_paints(Ca,Rest).

所以我想我需要帮助解决两个问题：

  • 我如何将事实汽车和油漆的内容传递给两个循环？
  • 一个“车库”，用于放置所有组合。车库是一个由两个小项目列表（汽车和油漆）组成的大列表。
4

1 回答 1

1

你可以这样做：

start :- cars(C), loop_cars(C).

首先，将汽车列表“分配”（我认为在 Prolog 术语中称为“统一”）C，然后调用loop_cars该列表。油漆也是如此。

如果要将结果存储在变量中，则必须在谓词中添加“输出”参数：

loop_paints(_,[],[]).  
loop_paints(Ca,[Pa|Rest],[Res|ResRest]):-
    Res = [Ca,Pa],
    loop_paints(Ca,Rest,ResRest).
于 2010-10-24T12:52:54.800 回答