lambda-prolog

    4熱度

    2回答

    我正在使用更高階的Prolog變體,缺少findall。 關於在這裏實施我們自己的findall還有另一個問題:Getting list of solutions in Prolog。 低效的實現是: parent(pam, bob). %pam is a parent of bob parent(george, bob). %george is a parent of bob list_p