我是 prolog 的新手,必须完成这项任务。我很困惑如何与我所拥有的事实和我自己得出的结论建立关系。在这个问题的代码部分,你会找到一个给定信息的列表和我从数据中得出的结论。如果我能在正确的方向上得到指导以完成我的任务,我将不胜感激。先感谢您!
%There are three people: John, Jim, and Mary and each has two jobs.
%The jobs are gardener, veterinarian's assistant, dishwasher, nurse,
%high school math teacher, and biology tutor.
%You are given the following information:
%1) The nurse went out with the veterinarian's assistant last night.
%2) Mary is friends with the biology tutor but she stayed home last night.
%3) Jim likes animals but he failed math and had to drop out of college.
%4) Jim does not know the gardener.
%5) Mary and the biology tutor used to be married.
%My Conclusions from Facts:
%6) Mary is not the biologyTutor because she did not go out with the
% biologyTutor and she was married to the biology tutor (2&5)
%7) Jim is not the highSchoolMathTeacher because he failed math (3)
%8) Jim is not the gardener because he does not know the gardener (4)
%9) Mary is not the nurse/vetAssistant because she did not go out (1&2)
%10) The biologyTutor went out last night (1&2)
%Who holds which jobs? Include a report explaining your strategy.
%Exepcted Answers:
%Mary: gardener, highSchoolMathTeacher
%Jim: vetAssistant, dishWasher
%John: nurse, biologyTutor
%Given Information, aka FACTS:
%person(Name).
person(mary).
person(jim).
person(john).
%job(JobName).
job(gardener).
job(vetAssistant).
job(dishWasher).
job(nurse).
job(highSchoolMathTeacher).
job(biologyTutor).
went_Out(nurse,vetAssistant).
friends(mary,biologyTutor).
likes(jim,animals).
unknown(jim,gardener).
divorced(mary,biologyTutor).
原始问题的更新:
所以这就是我所拥有的,我遇到了一个非常奇怪的错误:
%list of people
person(mary).
person(jim).
person(john).
%list of jobs
job(gardener).
job(vetAssistant).
job(dishWasher).
job(nurse).
job(highSchoolMathTeacher).
job(biologyTutor).
%length of variables are 2 &
%Solution is person and corresponding variables
length(MaryJobs,2),
length(JimJobs,2),
length(JohnJobs,2),
Solution = [mary-MaryJobs,jim-JimJobs,john-JohnJobs],
%query to find the jobs AllJobs is a list containing variables of the jobs
findAll(Jobs,job(Job),AllJobs),
AllJobs = [Gardener,VetAssistant,DishWasher,Nurse,MathTeacher,BioTutor],
%Note: im not sure about flatten
flatten([MaryJobs,JimJobs,JohnJobs],Jobs),
permutation(Jobs,AllJobs),
% 6 & 9; Mary is not the Nurse, VetAssistant, or BioTutor
\+ member(Nurse,MaryJobs),
\+ member(VetAssistant,MaryJobs),
\+ member(BioTutor, MaryJobs),
% 7 & 8 & 3 ; Jim is not the MathTeacher or Gardener
\+ member(MathTeacher,JimJobs),
\+ member(Gardener, JimJobs),
%Mary is the Gardener because Jim does not know the
%Gardener, therefore he cannot have gone out with the Gardener.
\+ member(Gardener, JohnJobs),
%Jim must not KNOW Mary because she is the Gardener
%John and Mary must have been married
%Conclusion: Jim is not the Bio Tutor
\+ member(BioTutor, JimJobs),
%logically, since Jim likes animals, it would make sense if he
%were the VetAssistant and since this is true, John is the nurse
\+ member(VetAssistant, JohnJobs),
\+ member(Nurse, JimJobs),
%logically since jim dropped out of college, it would make sense
%if he were to be the dishwasher
\+ member(DishWasher, MaryJobs),
\+ member(DishWasher, JohnJobs).
%Automatically this is should conclude that Mary is the MathTeacher
如果我取出逗号并用句点替换,我会出错。主要错误在于包含代码:
length(MaryJobs,2),
length(JimJobs,2),
length(JohnJobs,2),
Solution = [mary-MaryJobs,jim-JimJobs,john-JohnJobs],
我收到的错误消息是:
Warning: /Users/KaitlynChait/Desktop/School/CCNY/Summer 2016/Artificial Intelligence/CSC448_program_2/program2.pl:16:
Singleton variables: [Solution,Job]
ERROR: /Users/KaitlynChait/Desktop/School/CCNY/Summer 2016/Artificial Intelligence/CSC448_program_2/program2.pl:16:
Full stop in clause-body? Cannot redefine ,/2
% /Users/KaitlynChait/Desktop/School/CCNY/Summer 2016/Artificial Intelligence/CSC448_program_2/program2.pl compiled 0.00 sec, 9 clauses
1 ?-