The report describes the means for dynamic control of the computation process that are available in Spider – a language for Control Network Programming.
The aim of this series of two reports is to demonstrate that Control Network Programming (CNP), respectively WinSpider, can be used as an excellent environment for teaching and learning both nondeterminism and randomization. More specifically, the focus is on CNP implemented models and algorithms typically studied in courses on Computation theory and… (More)
Control network programming (CNP) is a style of high-level programming created to be especially convenient for solving problems with natural graph-like representation. Showing that this goal has been achieved is the purpose of the current report. CNP solutions to four problems representative of four important problem classes are presented. Most of the… (More)
Control network programming (CNP) is a style of high-level programming that is especially effective for solving problems that have natural graph-like representation of imperative, declarative, or mixed nature. The 'program' is often nondeterministic. The report is aimed as a concise, 'modern', and relatively self-contained introduction to the background and… (More)
The report describes the type of improved uninformed or heuristic search algorithms that are well-suited for non-procedural implementation in Control network programming, and how this can be achieved using the tools for dynamic computation control.
This is the second in a series of two reports presenting a comparison between the Control Network Programming language Spider and the logic programming language Prolog. Here, the focus is on juxtaposing the tools for programmer's control of the computation (inference) offered by the two languages.
Control Network Programming is a programming paradigm that integrates ideas from imperative programming, declarative programming, rule-based systems, nondeterministic programming and graphical programming. Its computation rule is based on an extended specific version of backtracking. The report presents a comparison of the Spider language for control… (More)
This report presents the general picture of how Control Network Programming can be effectively used for implementing various search strategies, both blind and informed. An interesting possibility is non - procedural solutions that can be developed for most local search algorithms. A generic solution is described for procedural implementations.
The paper describes one of the most researched techniques in solving Constraint Satisfaction Problems (CSPs)-searching which is well-suited for declarative (non-procedural) implementation in a new programming paradigm named Control Network Programming, and how this can be achieved using the tools for dynamic computation control. Some heuristics for variable… (More)
PREFACE This book presents the authors' views on the Knowledge Based Automated Software Engineering (KBASE). It involves the subject domain scopes, the implemented research methods, tools and applications. Coverage The KBASE products presented in the book are included in chapters as listed below: • Chapter 4. The SE method Business Process Generation and… (More)