Abstract
In this work we investigate how Distributed Shared Memory (DSM) architectures affect performance of or-parallel logic programming systems and how this performance approaches that of conventional C systems. Our work concentrates on basic performance, scalability, and programmability. We use execution-driven simulation of a hardware DSM (DASH) to investigate the access patterns and caching behaviour exhibited by parallel C programs and by Aurora, a parallel logic programming system capable of exploiting implicit parallelism in Prolog programs. Aurora was originally written to run on bus-based shared-memory platforms. © Springer-Verlag Berlin Heidelberg 1999.

Abstract
A methodology for the synthesis of function free definite logic programs from incomplete specifications, background knowledge and programming knowledge is presented. The methodology is implemented as a system SKILit and sub-systems SKIL and MONIC. The specification consists of positive and negative examples of the predicate to synthesize, together with its input/output mode declaration.

Abstract
This paper presents an overview of a visual and interactive warehouse simulator developed with Visual C++ for Windows95/NT operating system. This simulator have been designed under an object oriented programming approach and looks to the warehouse by an hierarchic decision level point of view, which allows an interesting separation of the responsibilities on the system. It is a modular approach where each entity is responsible for its own integrity and functionality, and where the decision rules are separated on three fundamental levels(1): element level, control level and management level. Nevertheless, the main interest of this paper is not to introduce any kind of code statements of the simulator, but instead to present the reader the structure of the more relevant elements and the way they were modelled. At the same time it will be shown some of the user interface facilities and also some references to studies made using this warehouse simulator.

Abstract

Abstract

Abstract