Toggle navigation
?
users online
Logout
Open hangout
Open chat for current file
% △という述語を定義 △(X, Y) :- Y is X^2. /** <examples> 右側のExamples(クエリ例) ?- △(8, N). */