This website works better with JavaScript
Главная
Обзор
Помощь
Вход
CNI
/
Prlog
Следить
2
В избранное
0
Ответвить
0
Файлы
Задачи
0
Запросы на слияние
0
Вики
Просмотр исходного кода
First version of polys
DricomDragon
5 лет назад
Родитель
b549cd04c7
Сommit
32f2f44241
1 измененных файлов
с
2 добавлено
и
0 удалено
Разделённый вид
Показать статистику Diff
2
0
tp/1/poly.lp
+ 2
- 0
tp/1/poly.lp
Просмотреть файл
@@ -0,0 +1,2 @@
+% Define
+p(N, N*N + N + 41) :- N=0..10.