This website works better with JavaScript
Главная
Обзор
Помощь
Вход
CNI
/
Prlog
Следить
2
В избранное
0
Ответвить
0
Файлы
Задачи
0
Запросы на слияние
0
Вики
Дерево:
96920e094b
Ветки
Метки
master
tp/basics/1
Prlog
/
cm
/
lp2.lp
lp2.lp
36 B
История
Исходник
1
2
3
4
5
a.
b.
c.
q(b).
p(X) | r(X) :- q(X).