This website works better with JavaScript
ホーム
エクスプローラ
ヘルプ
サインイン
CNI
/
Prlog
ウォッチ
2
スター
0
フォーク
0
ファイル
課題
0
プルリクエスト
0
Wiki
ツリー:
32f2f44241
ブランチ
タグ
master
tp/basics/1
Prlog
/
tp
/
1
/
poly.lp
poly.lp
40 B
履歴
Raw
1
2
% Define
p(N, N*N + N + 41) :- N=0..10.