:- set_prolog_flag(verbose,silent). :- prompt(_, ''). :- use_module(library(readutil)). main:- process, halt. ジャバ(あなた). ジャバ(わたし). ダウンロード(X,今すぐ) :- ジャバ(X). process:- /* your code goes here */ ダウンロード(X,Y), writef( 'ジャバを%tダウンロードすべきは %t', [Y, X]), nl, fail; true. :- main.