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

lp2.lp 36 B
文件历史 原始文件

12345 
  1. a.
    2. 

  2. b.
    3. 

  3. c.
    4. 

  4. q(b).
    5. 

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