Program analysis, debugging and optimization using the ciao system preprocessor

We present a tutorial overview of Ciaopp, the Ciao system preprocessor. Ciao is a public-domain, next-generation logic programming system, which subsumes ISO-Prolog and is specifically designed to a) be highly extensible via librarles and b) support modular program analysis, debugging, and optimization. The latter tasks are performed in an integrated fashion by Ciaopp. Ciaopp uses modular, incremental abstract interpretation to infer properties of program predicates and literals, including types, variable instantiation properties (including modes), non-failure, determinacy, bounds on computational cost, bounds on sizes of terms in the program, etc. Using such analysis information, Ciaopp can find errors at compile-time in programs and/or perform partial verification. Ciaopp checks how programs cali system librarles and also any assertions present in the program or in other modules used by the program. These assertions are also used to genérate documentation automatically. Ciaopp also uses analysis information to perform program transformations and optimizations such as múltiple abstract specialization, parallelization (including granularity control), and optimization of run-time tests for properties which cannot be checked completely at compile-time. We illustrate "hands-on" the use of Ciaopp in all these tasks. By design, Ciaopp is a generic tool, which can be easily tailored to perform these and other tasks for different LP and CLP dialects.

A documentation generator for logic programming systems

We describe lpdoc, a tool which generates documentation manuals automatically from one or more logic program source files, written in ISO-Prolog, Ciao, and other (C)LP languages. It is particularly useful for documenting library modules, for which it automatically generates a rich description of the module interface. However, it can also be used quite successfully to document full applications. The documentation can be generated in many formats including t e x i n f o, dvi, ps, pdf, inf o, html/css, Unix nrof f/man, Windows help, etc., and can include bibliographic citations and images, lpdoc can also genérate "man" pages (Unix man page format), nicely formatted plain ascii "readme" files, installation scripts useful when the manuals are included in software distributions, brief descriptions in html/css or inf o formats suitable for inclusión in on-line Índices of manuals, and even complete WWW and inf o sites containing on-line catalogs of documents and software distributions. A fundamental advantage of using lpdoc is that it helps maintaining a true correspondence between the program and its documentation, and also identifying precisely to what versión of the program a given printed manual corresponds. The quality of the documentation generated can be greatly enhanced by including within the program text assertions (declarations with types, modes, etc. ...) for the predicates in the program, and machine-readable comments. These assertions and comments are written using the Ciao system assertion language. A simple compatibility library allows conventional (C)LP systems to ignore these assertions and comments and treat normally programs documented in this way. The lpdoc manual, all other Ciao system manuals, and most of this paper, are generated by lpdoc.

The ciao prolog system

Ciao is a public domain, next generation multi-paradigm programming environment with a unique set of features: Ciao offers a complete Prolog system, supporting ISO-Prolog, but its novel modular design allows both restricting and extending the language. As a result, it allows working with fully declarative subsets of Prolog and also to extend these subsets (or ISO-Prolog) both syntactically and semantically. Most importantly, these restrictions and extensions can be activated separately on each program module so that several extensions can coexist in the same application for different modules. Ciao also supports (through such extensions) programming with functions, higher-order (with predicate abstractions), constraints, and objects, as well as feature terms (records), persistence, several control rules (breadth-first search, iterative deepening, ...), concurrency (threads/engines), a good base for distributed execution (agents), and parallel execution. Libraries also support WWW programming, sockets, external interfaces (C, Java, TclTk, relational databases, etc.), etc. Ciao offers support for programming in the large with a robust module/object system, module-based separate/incremental compilation (automatically -no need for makefiles), an assertion language for declaring (optional) program properties (including types and modes, but also determinacy, non-failure, cost, etc.), automatic static inference and static/dynamic checking of such assertions, etc. Ciao also offers support for programming in the small producing small executables (including only those builtins used by the program) and support for writing scripts in Prolog. The Ciao programming environment includes a classical top-level and a rich emacs interface with an embeddable source-level debugger and a number of execution visualization tools. The Ciao compiler (which can be run outside the top level shell) generates several forms of architecture-independent and stand-alone executables, which run with speed, efficiency and executable size which are very competive with other commercial and academic Prolog/CLP systems. Library modules can be compiled into compact bytecode or C source files, and linked statically, dynamically, or autoloaded. The novel modular design of Ciao enables, in addition to modular program development, effective global program analysis and static debugging and optimization via source to source program transformation. These tasks are performed by the Ciao preprocessor ( ciaopp, distributed separately). The Ciao programming environment also includes lpdoc, an automatic documentation generator for LP/CLP programs. It processes Prolog files adorned with (Ciao) assertions and machine-readable comments and generates manuals in many formats including postscript, pdf, texinfo, info, HTML, man, etc. , as well as on-line help, ascii README files, entries for indices of manuals (info, WWW, ...), and maintains WWW distribution sites.

An automatic documentation generator for (C)LP - Reference manual

Lpdoc is an automatic program documentation generator for (C)LP systems. Lpdoc generates a reference manual automatically from one or more source files for a logic program (including ISO-Prolog, Ciao, many CLP systems, ...). It is particularly useful for documenting library modules, for which it automatically generates a description of the module interface. However, lpdoc can also be used quite successfully to document full applications and to generate nicely formatted plain ascii "readme" files. A fundamental advantage of using lpdoc to document programs is that it is much easier to maintain a true correspondence between the program and its documentation, and to identify precisely to what version of the program a given printed manual corresponds. The quality of the documentation generated can be greatly enhanced by including within the program text: • assertions (types, modes, etc. ...) for the predicates in the program, and • machine-readable comments (in the "literate programming" style). The assertions and comments included in the source file need to be written using the Ciao system assertion language. A simple compatibility library is available to make traditional (constraint) logic programming systems ignore these assertions and comments allowing normal treatment of programs documented in this way. The documentation is currently generated in HTML or texinf o format. From the texinf o output, printed and on-line manuals in several formats (dvi, ps, info, etc.) can be easily generated automatically, using publicly available tools, lpdoc can also generate 'man' pages (Unix man page format) as well as brief descriptions in html or emacs info formats suitable for inclusion in an on-line index of applications. In particular, lpdoc can create and maintain fully automatically WWW and info sites containing on-line versions of the documents it produces. The lpdoc manual (and the Ciao system manuals) are generated by lpdoc. Lpdoc is distributed under the GNU general public license. Note: lpdoc is fully supported on Linux, Mac OS X, and other Un*x-like systems. Due to the use of several Un*x-related utilities, some documentation back-ends may require Cygwin under Win32. This documentation corresponds to version 3.0 (2011/7/7, 16:33:15 CEST).

OnToology: An online tool for ontology documentation and evaluation

In this thesis, we designed and implemented an online tool (named "OnToology") to automatically generate documentation and perform evaluation for ontologies. It is also integrated with GitHub version control system to support collaborative environments.

Involvement of cytochrome P450 in oxime production in glucosinolate biosynthesis as demonstrated by an in vitro microsomal enzyme system isolated from jasmonic acid-induced seedlings of Sinapis alba L.

An in vitro enzyme system for the conversion of amino acid to oxime in the biosynthesis of glucosinolates has been established by the combined use of an improved isolation medium and jasmonic acid-induced etiolated seedlings of Sinapis alba L. An 8-fold induction of de novo biosynthesis of the L-tyrosine-derived p-hydroxybenzylglucosinolate was obtained in etiolated S. alba seedlings upon treatment with jasmonic acid. Formation of inhibitory glucosinolate degradation products upon tissue homogenization was prevented by inactivation of myrosinase by addition of 100 mM ascorbic acid to the isolation buffer. The biosynthetically active microsomal enzyme system converted L-tyrosine into p-hydroxyphenylacetaldoxime and the production of oxime was strictly dependent on NADPH. The Km and Vmax values of the enzyme system were 346 microM and 538 pmol per mg of protein per h, respectively. The nature of the enzyme catalyzing the conversion of amino acid to oxime in the biosynthesis of glucosinolates has been subject of much speculation. In the present paper, we demonstrate the involvement of cytochrome P450 by photoreversible inhibition by carbon monoxide. The inhibitory effect of numerous cytochrome P450 inhibitors confirms the involvement of cytochrome P450. This provides experimental documentation of similarity between the enzymes converting amino acids into the corresponding oximes in the biosynthesis of glucosinolates and cyanogenic glycosides.

Retrograde axonal transport of glial cell line-derived neurotrophic factor in the adult nigrostriatal system suggests a trophic role in the adult.

The recently cloned, distant member of the transforming growth factor beta (TGF-beta) family, glial cell line-derived neurotrophic factor (GDNF), has potent trophic actions on fetal mesencephalic dopamine neurons. GDNF also has protective and restorative activity on adult mesencephalic dopaminergic neurons and potently protects motoneurons from axotomy-induced cell death. However, evidence for a role for endogenous GDNF as a target-derived trophic factor in adult midbrain dopaminergic circuits requires documentation of specific transport from the sites of synthesis in the target areas to the nerve cell bodies themselves. Here, we demonstrate that GDNF is retrogradely transported by mesencephalic dopamine neurons of the nigrostriatal pathway. The pattern of retrograde transport following intrastriatal injections indicates that there may be subpopulations of neurons that are GDNF responsive. Retrograde axonal transport of biologically active 125I-labeled GDNF was inhibited by an excess of unlabeled GDNF but not by an excess of cytochrome c. Specificity was further documented by demonstrating that another TGF-beta family member, TGF-beta 1, did not appear to affect retrograde transport. Retrograde transport was also demonstrated by immunohistochemistry by using intrastriatal injections of unlabeled GDNF. GDNF immunoreactivity was found specifically in dopamine nerve cell bodies of the substantia nigra pars compacta distributed in granules in the soma and proximal dendrites. Our data implicate a specific receptor-mediated uptake mechanism operating in the adult. Taken together, the present findings suggest that GDNF acts endogenously as a target-derived physiological survival/maintenance factor for dopaminergic neurons.

Implementing an Integrated Management System (IMS) at an Aerospace Manufacturing Facility

This project analyzes the challenges, issues, benefits, and lessons learned that several companies experienced while implementing integrated management systems. Based on previous experiences, this paper defines several strategies that an organization should use to increase the probability of implementing an integrated management system (IMS) successfully. Strategies include completing a feasibility analysis, creating a policy, allocating resources, developing objectives, modifying documentation, and creating a continuous monitoring process. Moreover, an organization can reduce potential obstacles by promoting a culture that encourages management commitment and employee participation. Results indicate the implementation of an IMS provides the framework to manage environmental, health, and safety programs effectively. By implementing an IMS, an organization can save time and money, as well as proactively control risk.