This website works better with JavaScript
首頁
探索
說明
登入
CNI
/
Prlog
關註
2
讚好
0
複刻
0
Files
問題管理
0
合併請求
0
Wiki
分支:
master
分支列表
標籤列表
master
tp/basics/1
Prlog
/
cm
/
lp1.lp
lp1.lp
29 B
永久連結
文件歷史
原始文件
1
2
3
4
5
a.
b.
c.
q(b).
p(X) :- q(X).