Exporting Prolog source code

نویسنده

  • Nicos Angelopoulos
چکیده

In this paper we present a simple source code configuration tool. ExLibris operates on libraries and can be used to extract from local libraries all code relevant to a particular project. Our approach is not designed to address problems arising in code production lines, but rather, to support the needs of individual or small teams of researchers who wish to communicate their Prolog programs. In the process, we also wish to accommodate and encourage the writing of reusable code. Moreover, we support and propose ways of dealing with issues arising in the development of code that can be run on a variety of like-minded Prolog systems. With consideration to these aims we have made the following decisions: (i) support file-based source development, (ii) require minimal program transformation, (iii) target simplicity of usage, and (iv) introduce minimum number of new primitives.

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

ثبت نام

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

منابع مشابه

ar X iv : c s . SE / 0 20 70 51 v 2 1 2 Ju l 2 00 2 Exporting Prolog source code

In this paper we present a simple source code configuration tool. ExLibris operates on libraries and can be used to extract from local libraries all code relevant to a particular project. Our approach is not designed to address problems arising in code production lines, but rather, to support the needs of individual or small teams of researchers who wish to communicate their Prolog programs. In...

متن کامل

Program Comprehension Theories and Prolog based Methodologies

Software maintenance is said to account for more than 50 % of all software efforts. Of this the attempts to understand the code can take 70 %. In spite of its importance, program comprehension is not well understood. This paper tells how Prolog can be used in modeling source code. An essentially new method, symbolic analysis, is presented and compared to static and dynamic analyses, which form ...

متن کامل

Interprocedural Register Allocation for the WAM based on Source to Source Transformations

An approach for interprocedural register allocation for the WAM is presented which is based on source-to-source transformations of an intermediary language called Continuation Prolog. Continuation Prolog fills the conceptual gap between Prolog source code and the underlying abstract machine. Our approach does not require an analysis of the whole program. Only the definition of a predicate must ...

متن کامل

ar X iv : 0 71 0 . 58 95 v 1 [ cs . P L ] 3 1 O ct 2 00 7 Source - to - source optimising transformations of Prolog programs based on abstract interpretation

Making a Prolog program more efficient by transforming its source code, without changing its operational semantics, is not an obvious task. It requires the user to have a clear understanding of how the Prolog compiler works, and in particular, of the effects of ‘impure’ features like the cut. The way a Prolog code is written e.g., the order of clauses, the order of literals in a clause, the use...

متن کامل

Continuation Prolog: A new intermediary language for WAM and BinWAM code generation

We present a new intermediary language suitable for program transformations that fills the gap between Prolog source level and lower representations like binary Prolog or WAM-code. With the help of Continuation Prolog transformations on the level of continuations can be expressed that are unavailable in the usual settings of WAM-code generation.

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2002