[問題] prolog一個小問題
各位版友好
假如我的fact跟rule如下:
course(cse320, [cse300], 4).
course(cse222, [cse100, cse115], 3).
course(cse400,[cse100], 3).
student(john, [cse320, cse222]).
student(mary, [cse320]).
instructor(jim, [cse320, cse100]).
instructor(alpha,[cse222]).
course_credit(X,Y) :- course(X,P,Y).
現在我的query下
course_credit(X,3).
本來以為應該會執行course(X,P,3).
然後從第一條到第三條事實找答案
照理說應該根據第二條根第三條事實會正確(有兩組答案)
可是prolog卻是回傳no
trace之後發現他不會執行coures(X,P,3)
而是只有呼叫course_credit(X,3)就停了(而且還call fail)
但是如果是直接query打course(X,P,3)是執行正確的
請問我在這邊哪裡寫錯了??
--
~宅男的四個徵兆~
∠□ ○ ！ * \○/ ★ (○ ？
╦╦└□ " ○□═ □ □>
║║√√ ╦══╦ ∥ |\
一回家就上PTT 每天想正妹 以當好人為樂 忘記正妹虧欠自己
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 114.32.197.57
※ 編輯: Arim 來自: 114.32.197.57 (12/17 21:06)
→
12/17 21:18, , 1F
12/17 21:18, 1F
→
12/17 21:19, , 2F
12/17 21:19, 2F
→
12/17 21:20, , 3F
12/17 21:20, 3F
→
12/17 21:21, , 4F
12/17 21:21, 4F
→
12/17 21:21, , 5F
12/17 21:21, 5F
→
12/17 21:22, , 6F
12/17 21:22, 6F
→
12/17 21:22, , 7F
12/17 21:22, 7F
→
12/17 21:23, , 8F
12/17 21:23, 8F
→
12/17 21:24, , 9F
12/17 21:24, 9F
→
12/17 21:25, , 10F
12/17 21:25, 10F
→
12/17 21:25, , 11F
12/17 21:25, 11F
→
12/17 21:26, , 12F
12/17 21:26, 12F
→
12/17 21:27, , 13F
12/17 21:27, 13F
→
12/17 21:30, , 14F
12/17 21:30, 14F
Programming 近期熱門文章
PTT數位生活區 即時熱門文章
