Applying Prolog to develop distributed systems
نویسندگان
چکیده
منابع مشابه
Applying Prolog to develop distributed systems
Development of distributed systems is a difficult task. Declarative programming techniques hold a promising potential for effectively supporting programmer in this challenge. While Datalog-based languages have been actively explored for programming distributed systems, Prolog received relatively little attention in this application area so far. In this paper we present a Prolog-based programmin...
متن کاملImplementing Prolog on Distributed Systems: N-parallel Prolog
A method for distributing Prolog across multiple processors is described. Design criterion and rationale are delineated along with the assumptions behind the methodology. The underlying assumptions are based on the need to provide each processor with maximum sequential work. The parallelization mechanism was implemented using a meta-interpreter that includes new predicates for dependency detect...
متن کاملApplying RT-Z to Develop Safety-Critical Systems
We present the application of the formal specification language RT-Z, an integration of the model-based specification language Z and the real-time process algebra timed CSP, in the area of safety-critical systems. The characteristics underlying the development of safety-critical systems are identified, and criteria for specification languages to be used in this area are derived. It is demonstra...
متن کاملApplying Prolog programming techniques
Much of the skill of Prolog programming comes from the ability to harness its comparatively simple syntax in sophisticated ways It is possible to provide an account of part of the activity of Prolog programming in terms of the application of techniques standard patterns of program development which may be applied to a variety of di erent programming problems Numerous researchers have attempted ...
متن کاملIntegrating Agents and Objects to Develop Distributed AI Systems
This paper presents a language for the development of multi-agent systems that allows a user to write programs with a small effort thanks to a predejined agent model and a set of specialized primitives for agent management. Moreovel; the user can develop agent parts at a low level taking advantage of all the potentialities of C++, Common Lisp and Java object-oriented languages, and reusing a la...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theory and Practice of Logic Programming
سال: 2010
ISSN: 1471-0684,1475-3081
DOI: 10.1017/s1471068410000360