Introduction to CNP 

Control Network Programming is a style of programming, which can be considered as a merging point of imperative programming, declarative programming, and rule-based systems. It has proved to be efficient in various application areas (many of them in the broad field of AI) especially when the problem in hand can be naturally represented in a network-like form and/or includes no determinism. SPIDER is a programming environment supporting that style of programming. A number of built-in system options and types of control nodes are considered. These provide opportunities for an easy and convenient control of the inference process, as well as for implementing various heuristic strategies.