The predicate programming methods

Edited by V.I. Shelekhov
Novosibirsk 2003

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 and students.

The articles are available in Russian only as PDF document

You are reporting a typo in the following text:
Simply click the "Send typo report" button to complete the report. You can also include a comment.