Главная Обзор Помощь
Вход
CNI
/
Prlog
2
0
Ответвить 0
Файлы Задачи 0 Запросы на слияние 0 Вики
Ветка: 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.