Development and Microcomputer Realization of Logical Programming Languages (with Reference to YaRUS-2)

The paper is concerned with a new logical programming language, YaRUS-2, a computer-aided programming software based on it and realized in a micro-computer, and language tools for description of interaction of parallel discrete processes. Translation procedures and structures of object-oriented logical programs are proposed which reconcile the requirements to program compactness, computation speed, and debugging in terms of the original language.