08/05/24 19:12:06
>>100
適当に説明すると、findall は第2引数(述語)を満たすような第1引数(変数)のリストを第3引数(変数)に束縛する。
ここでは、このプログラムがウサギが犯人であることを導くことと、それ以外の結論を導かないことを示すために使った。
URLﾘﾝｸ(www.cs.ualberta.ca)
の "3. Finding all solutions" も参考になると思う
08/05/24 19:12:06
>>100
適当に説明すると、findall は第2引数(述語)を満たすような第1引数(変数)のリストを第3引数(変数)に束縛する。
ここでは、このプログラムがウサギが犯人であることを導くことと、それ以外の結論を導かないことを示すために使った。
URLﾘﾝｸ(www.cs.ualberta.ca)
の "3. Finding all solutions" も参考になると思う