A predicate/transition net model for a subset of Horn clause logic programs is presented.
The syntax, transformation procedure, semantics, and deduction process for the net model …

This chapter presents three paradigms of representations for combinatorial search
problems. Depending on the functions of the nonterminal nodes in the graphical …

The Rapport multimedia conferencing system supports interactive, real-time, distributed
conferences among two or more people. Executing on personal workstations interconnected …

The object of research is the problem of architecture design and computing processes
organization of high-performance knowledge processing system. In order to increase the …

This paper presents a scheme for intelligent backtracking in PROLOG programs. Rather
than doing the analysis of unification failures, this scheme chooses backtrack points by …

Previous investigations have suggested the use of multiple communicating processors for
executing logic programs. However, this strategy lacks efficiency due to competition for …

This paper presents the implementation and performance results of an and-parallel
execution model of logic programs on a shared-memory multiprocessor. The execution …

EcoDesign can contribute significantly to achieve a more sustainable society. In order to be
effective it needs to be integrated into current business processes. The present paper …

In this paper we present a simple but efficient backtracking scheme which works when AND-
parallelism is exploited in a logic program. The scheme is well suited for implementation on …

The problem of exploiting a large amount of hardware in parallel is one of the biggest
challenges facing computer science today. We investigate the problem of designing parallel …