На этом шаге мы перечислим эти функции.

Определения (в программировании).

(1) Булев список - это список, каждый элемент которого является функцией, возвращающей логическое значение True или False.

(2) Предикатом называется функция, возвращающая логическое значение True или False.

(3) Логическими функциями (на списках) называются предикаты, обрабатывающие булевы списки.

Перечислим основные логические функции. 1. Функция, осуществляющая конъюнкцию всех элементов булева списка:

   and:: [Bool] -> Bool
   and lst

Например:

   > and [True,False,True]   > and [2*2==4]   > and [2*2==4,5<-2]
   False                     True             False

2. Функция, осуществляющая дизъюнкцию всех элементов булева списка:

   or:: [Bool] -> Bool
   or lst

Например:

   > or [True,False,True]   > or [2*2==4]   > or [2*2==5,5<-2]
   True                     True            False

На следующем шаге мы рассмотрим простейшие распознаватели.