Prologサーバー

39 ：DNS未登録さん：2006/03/30(木) 09:43:41 ID:???.net

ちょっと説明を間違えました。

質問 ?- program(Goal). は親スレッドで実行され、
直ぐに終了します。

program(Goal) :- 並列実行(( true; Goal )).

のようなイメージでtrueだけ実行するのが親、
子でGoalが実行されます。