Книга посвящена исследованию неалгоритмических аспектов представления неформальных процедур. В качестве модели представления знаний используется продукционная система, т.е. система правил, каждое из которых имеет вид "если..., то…". Такой подход иллюстрируется языками Рефал и Пролог. Обсуждается реализация режима возвратов и логического вывода средствами продукций. Особое внимание уделяется такому неформальному аспекту, как уместность действий в условиях многозначности. Для реализации уместности действий вводится понятие исключения из правил. При этом используется аппарат К-систем, представляющий собой нефинитное обобщение канонических исчислений Поста.