#include "header"
Ресурси
-
Лекции по
skordev/ln/ml/start.htm,Математическа<_>логика
от проф. Д.<>Скордев.
-
Лекции по
skordev/ln/lp/index.html,Логическо<_>програмиране
от проф. Д.<>Скордев.
-
Някои
vbaleva/Exercises.htm,упражнения<_>по<_>Пролог
от ас.<>Весела Балева.
-
Компилатор<_>на<_>Пролог: http://www.dobrev.com,Strawberry<_>Prolog
-
Ние се стремим нашите страници да
http://validator.w3.org/check/referer,отговарят на
стандарта HTML 4.01 Transitional! Ако желаете, може
gtml/index.html,видите изходния им
http://www.lifl.fr/~beaufils/gtml/,GTML код.
-
Повече ресурси може да намерите на индивидуалните страници на
нашите [[MEMBERS_EN]],членове.
#include "footer"