Редактирование: Парадигмы программирования, 08 лекция (от 12 ноября)
Материал из eSyr's wiki.
Внимание: Вы не представились системе. Ваш IP-адрес будет записан в историю изменений этой страницы.
Правка может быть отменена. Пожалуйста, просмотрите сравнение версий, чтобы убедиться, что это именно те изменения, которые вас интересуют, и нажмите «Записать страницу», чтобы изменения вступили в силу.
Текущая версия | Ваш текст | ||
Строка 3: | Строка 3: | ||
Отсечение --- отсекает все развилки выше. | Отсечение --- отсекает все развилки выше. | ||
- | Отсечение --- | + | Отсечение --- чито процедурная штука. |
- | Отсечение позв. с одной стороны | + | Отсечение позв. с одной стороны эконопить время. С другой стороны... отсечение, в принципе, что такое: if then else, ... с другой стороны, отсечение штука нехорошая, поскольку убивает реверсивность предикатов --- не позв. исп. функция в разных предикатах. Вот, у нас был предикат member: |
member(E, [E|_]). | member(E, [E|_]). | ||
Строка 82: | Строка 82: | ||
... | ... | ||
- | Если not появлися в предикате, то | + | Если not появлися в предикате, то реверсится он если и будет, то плохо и/или неправильно. |
Что есть ещё: =\=, неравенство. Означает, что два терма неунифицируются. | Что есть ещё: =\=, неравенство. Означает, что два терма неунифицируются. |