論理プログラミング s4.4.1