久しぶりに使ったら、swiprologを起動後に述語を入力する方法を忘れてしまっていたので、ここに記録しておく。
1 ?- [user]. |: jawiki(wiki_2_line_58616_1,node([],node(と,node(の,node(は,node([],node(や,node(で,一方,ソフトウェア階層),node(の,デバイス,node(と,プロトコル,[いった, いう]))),'論理レイヤー'),現行),'USB3.0'),共通で),node(では,'USB3.1Gen1モード',node(の,'5Gbps',node(と,'USB3.0',node([],同様に,node([],[使用, [でき, できる]],node(との,node(も,node(の,'Gen1モードGen2モード',いずれ),'USB3.0ハブデバイスケーブル'),node(性は,互換,node(れている,[保た, 保つ],node(ただしUSB3.0,[],node(下の,ハブ,node(は,機器,node(での,'5Gbps',node(と,転送,node([],なる,[ ])))))))))))))))). |: ^D % user://1 compiled 0.00 sec, 1 clauses true. 2 ?-