Стиль программирования
Здесь предлагаются рекомендации по стилю программирования на Visual Prolog, выработанные в компании Prolog Development Center (PDC).
Эти рекомендации относятся к вновь создаваемым кодам. При этом PDC не планирует доведение уже существующих кодов до соответствия этим рекомендациям. Поэтому коды, распространяемые с системой программирования Visual Prolog могут не соответствовать приведенным стандартам.
Общие рекомендации
- Клаузы предикатов должны занимать, как правило, менее 20 строк. Поэтому необходимо предусматривать дополнительные предикаты для организации подпрограмм. Ситуации, где предикат может занимать более 20 строк, относятся к таким случаям, как, например, 50 свойств должны быть установлены для одного и того же объекта путем обращений к нему.
- Используйте полностью определенные имена (т.е. someClass::method), - это всегда далает программу более ясной.
- Методы класса должны иметь значимые имена, читаемые совместно с именем класса. Избегайте повторения имени класса в имени метода, т.е. имя должно быть:
someClass::method
а не
someClass::someClassMethod
- Предикат должен выполнять точно одну задачу. Поэтому, если у Вас есть предикат, который что-то делает с каждым элементом списка, рассмотрите возможность разбиения его на два предиката: один делает проход по списку, а второй выполняет операцию над элементом. Достроинство такого подхода заключается в том, что предикат становится проще (и, следовательно, проще для модификации и понимания).
- В общем случае, если с одной стороны от знака равенства ("=") должна быть переменная, то помещайте ее справа, если она связана.
Булевы значения
Булевы значения следует использовать, если что-то либо истино, либо ложно. Не следует использовать такие значения для установления различий случаев, таких как слева и справа, или горизонтально и вертикально. В таких случаях лучше использовать специализированне домены.
domains direction = left(); right() orientation = horizontal(); vertical()
Если у Вас есть булевские переменные, то именуйте их для условия истина. Так, переменная, выражающая то, что что-то опубликовано если она имеет значение истина (true) и не опубликовано, если она имеет значение ложь (false), должна называться Опубликовано.
Отсечение (Cut)
Отсечение (т.е. !) есть предикат, который отсекает (cuts) недетерминизм, то есть отсекает возможность выработки дальнейших решений (сообразно своему имени).
Отсекаемый недетерминизм можно разбить на два группы (хотя в ряде случаев отсечения могут принадлежать обеим):
- Отсечения, которые отсекают возможность выполнения других (следующих по порядку) клауз текущего предиката.
- Отсечения, которые ликвидируют возможность генерации новых решений у недетерминированных вызовов предикатов.
Других значимых причин для использования отсечений нет, кроме двух, упомянутых выше. Если эти цели понятны, то очень просто ставить отсечения в правильном месте:
- либо отсечение ставится в месте, где перебор последовательных клауз больше не требуется и/или
- оно ставится после вызова недетерминированного (то есть с квалификацией nondeterm или multi) предиката, для которого важно только одно решение.
Первая причина может быть проиллюстрирована следующим примером
clauses p(17, X) :- X > 13, !, q(X), ... p(A, X) :- ...
В этом примере у нас есть отсечение после проверки X > 13. Это типичный случай использования первой причины: "Наши клаузы реагируют на значение входной переменной и сразу (где сразу означает немедленно после проверки X > 13) мы находим правильное решение".
Обычно такого рода отсечения помещаются сразу после головы клаузы или после проверки, ближайшей к голове клаузы.
Вторая причина может быть проиллюстрирована на следующем примере:
clauses firstMember(X, L) :- X = list::getMember_nd( L), !.
В этом примере отсечение помещается немедленно после недетерминированного предиката, от которого мы ожидаем единственное решение.
Выше мы выделили слово немедленно дважды, поскольку ключевым словом в размещении отсечения является именно слово немедленно: они должны быть помещены настолько рано в клаузе, насколько это возможно.
Вы должны с подозрением относиться к клаузам, содержащим более одного отсечения. Наличие более одного отсечения в одном клаузе часто говорит о наличии ошибки в программе.
Красные и Зеленые отсечения
Вообще говоря, мы не поощряем зеленые отсечения, мы вполне уживаемся с красными отсечениями.
Сообщество традиционного Пролога дало определение красного и зеленого отсечений. Коротко это: зеленое отсечение - это отсечение, которое не меняет семантику предиката, в котором используется, а красное отсечение - меняет семантику.
Ясно, что все отсечения, которые отсекают все последующие решения недетерминированных предикатов являются красными по своей природе. Поэтому различия между красными и зелеными отсечениями имеют смысл только для тех отсечений, которые предотвращают откаты к следующим клаузам.
Рассмтрим клаузы:
clauses p(X) :- X > 0, !, ... p(X) :- X <= 0, ...
В предикате выше отсечение является зеленым (green), поскольку, если мы его удалим, то предикат будет вести себя таким же образом. Когда отсечение имеется в первом клаузе, проверка X <= 0 во втором клаузе в действительности не нужна (второй клауз соответствует всем остальным случаям, кроме X<0):
clauses p(X) :- X > 0, !, ... p(X) :- ...
Но без этой проверки, однако, отсечение становится красным, поскольку теперь предикат будет вести себя по-другому, если мы удалим отсечение.
Зеленые отсечения могут показаться излишними, но в действительности они используются для исключения лишних вариантов отката (главным образом по соображениями скорости работы). В системе Visual Prolog они могут, однако, быть необходимыми для того, чтобы показать компилятору, что некоторые предикаты являются предикатами определенного типа, например, процедурами.
Dispatching on Input Patterns
Only handle very simple things in a dispatcher. The problem with handling stuff in a dispatcher is that it has a very flat structure and typically a lot of different things has to happen. So code that belongs logically together gets spread and pieces of code that basically has very little to do with each other stands next to each other.
To avoid this code that belongs logically together should be placed in handling predicates that are grouped in a module so the dispatcher only calls the handling predicates. This way the dispatcher is just that a dispatcher and code that belongs together are placed close together.
- If a predicate handles many cases then keep each case simple.
- Never have more clauses for the "same case", if the predicate also handles "other" cases.
The first "rule" is straight forward. The second rule can be illustrated with the following example:
clauses qwerty(17, W, E, R, 13, Y) :- ..., % A !, ... % B qwerty(17, W, E, R, 13, Y) :- ..., % C qwerty(Q, W, E, R, 13, Y) :- ... % D ...
The clauses section above represents a bad coding style, because it has two clauses for the same input "pattern". This would have been OK if this was the only input pattern the predicate deals with. But in this case, we have clauses for other patterns as well. I think that the predicate above should have been rewritten, such that the purpose of qwerty is solely to case out on the specific patterns of input leaving other work to sub-predicates:
clauses qwerty(17, W, E, R, 13, Y) :- !, % we have cased out, this is one of our cases qwerty_17_w_e_r_13_y(W, E, R, Y). qwerty(Q, W, E, R, 13, Y) :- !, % we have cased out, this is one of our cases qwerty_q_w_e_r_13_y(Q, W, E, R, Y). ...
clauses qwerty_17_w_e_r_13_y(W, E, R, Y) :- ..., % A !, ... % B qwerty_17_w_e_r_13_y(W, E, R, Y) :- ... % C
clauses qwerty_q_w_e_r_13_y(Q, W, E, R, Y) :- ... % D
This code has changed the qwerty predicate into a predicate, which only cases-out on the various combinations of input. It is not essential that you only have a single predicate call for each kind of input as illustrated above. The main point is that you do not back-track from one clause to another on the same input pattern.
This rule does especially apply to event handlers, you should not have more than one clauses for "close" (or anything else) in the same event handler. An event handler often spread on several pages, so if it is not a rule that each case is handled by a single clause, then you will have to look at all clauses to be sure that you know how a single input pattern is handled.
Exceptions and Error Handling
- When an error/exception occurs, raise an exception with exception::raise.
- Trap an exception if you want to handle the exception.
- Use finally if you want to run some code even in the exception case and then continue the exception.
- See also the tutorial about Exceptions handling.
Internal Errors and Other Errors
You should distinguish between internal errors and errors which had to do with the usage of the tool/module/class/unit. If some internal invariant is violated it is an internal error. Typical examples of internal errors are:
- A database fact which should have been defined is not defined.
- A predicate which should be a procedure, but which the compiler could not recognize as such are made into a procedure by adding a fall through clause, if that clause is reached it is because the assumption that the previous clause could not fail (an invariant) was wrong.
Internal errors should share one exception per unit. You should always use an exception: One for each user error and one for internal error (that is one for each unit).
Typical user errors:
- If an index is out of limits
- If a window handle is "wrong"
- If the predicates are called in the wrong order.
There are two reasons why one might want to trap an exit:
- Because one wants to handle the exception, say you open a file and get an exit saying that the file does not exists. In that case you want to trap the exit and display some error message saying that the file does not exists. Of course if the exception was not one of the ones you wanted to handle you have to continue the exception.
- Because you want to do something regardless of whether the predicate exits, a typical example is that you get some kind of lock do something and release the lock. Here you want to be sure that the lock is released also if this something exits. So you use finally.