language: Prolog (swi) (swipl 5.6.64)
date: 111 days 10 hours ago
link:
可見度: public
1
2
3
4
5
6
7
p(X,X):-q(X,Y).
q(X,Y):-r(X),s(X,Y),t(Y).
q(b,a).
r(b).
s(b,c).
s(X,Y):-s(y,X).
t(d).
  • upload with new input
  • 結果: 執行期間發生錯誤(RE)     time: 5.98s    記憶體: 89216 kB     信號(Signal): 9 (SIGKILL)

    p(W,Z).
    Warning: /home/9TVv6g/prog.pl:1:
    	Singleton variables: [Y]
    Warning: /home/9TVv6g/prog.pl:6:
    	Singleton variables: [Y]