关于儿童的逻辑任务

Question

一个家庭有5个孩子。他们的年龄：4、5、6、7和8岁。他们的名字：Rose，Becca，Iona，Stu，Rob。他们每个人都有才华：钢琴，数学，小提琴，文学，计算机。 如果已知以下事实，我需要找出每个孩子的年龄和才华：

1. Becca已有4岁，不知道数学。
2. 一个孩子，非常了解计算机比Stu
3. 大一年龄的孩子一岁的孩子扮演小提琴艾奥娜
4. Rob ）不是8岁
5. ，他年仅5岁

（ 不起作用，因为我使用swi-prolog，并且还有其他一些语法：

    domains
  ID= symbol
  Age = h(ID,NO)  
  HLIST  = reference Age*    
  NO = integer      
  NOLIST = NO*
predicates
  nondeterm solve
  nondeterm candidate(HLIST,HLIST)
  nondeterm perm(HLIST)
  nondeterm permutation(NOLIST,NOLIST)
  nondeterm delete(NO,NOLIST,NOLIST)
  member(Age,HLIST)
clauses
  solve():- candidate(Talents,Names),
    member(h(Becca,4),Names),member(h(maths,mathsA),Talents),mathsA<>4,
    member(h(Stu,StuA),Names),member(h(computer,compA),Talents),compA=StuA+1,
    member(h(violin,7),Talents),member(h(Iona,IonaA),Names),IonaA<>8,
    member(h(Rob,5),Names),member(h(literature,literatureA),Talents),literatureA>5,
    member(h(piano,_pianoA),Talents),member(h(Rose,RoseA),Names),
    member(h(BeccaT,4),Talents),member(h(StuT,StuA),Talents),
    member(h(IonaT,IonaA),Talents),member(h(RobT,5),Talents),
    member(h(RoseT,RoseA),Talents),write("Becca - 4 - ",BeccaT),nl,
    write("Stu - ",StuA," - ",StuT),nl,
    write("Iona - ",IonaA," - ",IonaT),nl,
    write("Rob - 5 - ",RobT),nl,
    write("Rose - ",RoseA," - ",RoseT),nl.

  candidate(L1,L2):- perm(L1),perm(L2).

  perm([h(_,A),h(_,B),h(_,C),h(_,D),h(_,E)]):- permutation([A,B,C,D,E],[4,5,6,7,8]). 

  permutation([],[]).
  permutation([A|X],Y):-delete(A,Y,Y1),permutation(X,Y1).

  delete(A,[A|X],X).
  delete(A,[B|X],[B|Y]):-delete(A,X,Y).

  member(A,[A|_]):-!.
  member(A,[_|X]):-member(A,X).
goal solve.

我需要为swi-prolog。

结果。我在哪里犯了错误？

puzzle(Children) :-
    Children = [child('Becca', 4, _), 
              child('Rob', 5, _), 
              child(_, 6, _), 
              child(_, 7, 'Violin'), 
              child(_, 8, _)],
    member(child('Rose', _, _), Children),
    member(child(_, _, 'Piano'), Children),
    member(child('Becca', AgeB, TalentB), Children),
    member(child(_, AgeM, 'Mathematics'), Children),
    member(child('Stu', AgeS, TalentS), Children),
    member(child(_, AgeC, 'Computer'), Children),
    member(child('Iona', AgeI, _), Children),
    member(child('Rob', AgeR, TalentR), Children),
    member(child(_, AgeL, 'Literature'), Children),
    TalentB \= 'Mathematics',
    AgeM > AgeB,
    AgeS + 1 = AgeC,
    AgeS < 8,
    TalentS \= 'Computer',
    AgeI < 8,
    AgeL > AgeR,
    TalentR \= 'Literature'.