weather --> a,b,c,d. a --> ['今日']. a --> ['昨日']. a --> ['明日']. b --> ['の天気は']. c --> ['晴れ']. c --> ['雨']. c --> ['曇']. d --> ['です']. test:-weather(A,[]),atom_appends(A,B),write(B),nl,fail. test:-!.
?-test. 今日の天気は晴れです 今日の天気は雨です 今日の天気は曇です 昨日の天気は晴れです 昨日の天気は雨です 昨日の天気は曇です 明日の天気は晴れです 明日の天気は雨です 明日の天気は曇です yes
?-listing. test :- weather(A,[]), atom_appends(A,B), write(B), nl, fail. test :- !. c([晴れ|_0],_0). c([雨|_0],_0). c([曇|_0],_0). a([今日|_0],_0). a([昨日|_0],_0). a([明日|_0],_0). b([の天気は|_0],_0). d([です|_0],_0). weather(_0,_1) :- a(_0,_2), b(_2,_3), c(_3,_4), d(_4,_1).