首页 发现 帮助
登录
CNI
/
Prlog
2
0
派生 0
文件 工单管理 0 合并请求 0 Wiki
分支: master
分支列表 标签列表
Prlog
/
cm
/
lp1.lp

lp1.lp 29 B
永久链接 文件历史 原始文件

12345 
  1. a.
    2. 

  2. b.
    3. 

  3. c.
    4. 

  4. q(b).
    5. 

  5. p(X) :- q(X).
    6.