Методы доказательства корректности предикатных программ ...................... 47
5.1. Язык P1: подстановка определения предиката на место вызова ............................... 47
5.2. Язык P2: оператор суперпозиции и параллельный оператор общего вида .............. 48
5.3. Язык P2: другое обобщение оператора суперпозиции ............................................... 50
5.4. Язык P3: выражения ....................................................................................................... 51
5.5. Методы доказательства корректности рекурсивных программ ................................ 53
6. Язык предикатного программирования ................................................................ 58