Applying Prolog to develop distributed systems

نویسندگان
چکیده

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

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