Edited by V.I. Shelekhov
This volume includes papers on predicate programming. The predicate programming
concept and some part of the predicate programming language P is
introduced. The predicate programming technology is demonstrated for some
concrete problems. An algorithm of variable replacement used in transformation
of a predicate program to effective imperative one is described.
The volume may be of interest for researchers in computer science, programmers
The articles are available in Russian only as