Parallel execution of Prolog programs: a survey

Since the early days of logic programming, researchers in the field realized the potential for exploitation of parallelism present in the execution of logic programs. Their high-level nature, the presence of nondeterminism, and their referential transparency, among other characteristics, make logic programs interesting candidates for obtaining speedups through parallel execution. At the same time, the fact that the typical applications of logic programming frequently involve irregular computations, make heavy use of dynamic data structures with logical variables, and involve search and speculation, makes the techniques used in the corresponding parallelizing compilers and run-time systems potentially interesting even outside the field. The objective of this article is to provide a comprehensive survey of the issues arising in parallel execution of logic programming languages along with the most relevant approaches explored to date in the field. Focus is mostly given to the challenges emerging from the parallel execution of Prolog programs. The article describes the major techniques used for shared memory implementation of Or-parallelism, And-parallelism, and combinations of the two. We also explore some related issues, such as memory management, compile-time analysis, and execution visualization.

Some paradigms for visualizing parallel execution of logic programs

This paper addresses the design of visual paradigms for observing the parallel execution of logic programs. First, an intuitive method is proposed for arriving at the design of a paradigm and its implementation as a tool for a given model of parallelism. This method is based on stepwise reñnement starting from the deñnition of basic notions such as events and observables and some precedence relationships among events which hold for the given model of parallelism. The method is then applied to several types of parallel execution models for logic programs (Orparallelism, Determinate Dependent And parallelism, Restricted and-parallelism) for which visualization paradigms are designed. Finally, VisAndOr, a tool which implements all of these paradigms is presented, together with a discussion of its usefulness through examples.

Implementation of an event driven scheme for visualizing parallel execution of logic programs

This article presents in an informal way some early results on the design of a series of paradigms for visualization of the parallel execution of logic programs. The results presented here refer to the visualization of or-parallelism, as in MUSE and Aurora, deterministic dependent and-parallelism, as in Andorra-I, and independent and-parallelism as in &-Prolog. A tool has been implemented for this purpose and has been interfaced with these systems. Results are presented showing the visualization of executions from these systems and the usefulness of the resulting tool is briefly discussed.

Implementation of an event driven scheme for visualizing parallel execution of logic programs.

This article presents in an informal way some early results on the design of a series of paradigms for visualization of the parallel execution of logic programs. The results presented here refer to the visualization of or-parallelism, as in MUSE and Aurora, deterministic dependent and-parallelism, as in Andorra-I, and independent and-parallelism as in &-Prolog. A tool has been implemented for this purpose and has been interfaced with these systems. Results are presented showing the visualization of executions from these systems and the usefulness of the resulting tool is briefly discussed.

Data-Flow analysis of prolog programs with extra-logical features

Abstract interpretation-based data-flow analysis of logic programs is at this point relatively well understood from the point of view of general frameworks and abstract domains. On the other hand, comparatively little attention has been given to the problems which arise when analysis of a full, practical dialect of the Prolog language is attempted, and only few solutions to these problems have been proposed to date. Such problems relate to dealing correctly with all builtins, including meta-logical and extra-logical predicates, with dynamic predicates (where the program is modified during execution), and with the absence of certain program text during compilation. Existing proposals for dealing with such issues generally restrict in one way or another the classes of programs which can be analyzed if the information from analysis is to be used for program optimization. This paper attempts to fill this gap by considering a full dialect of Prolog, essentially following the recently proposed ISO standard, pointing out the problems that may arise in the analysis of such a dialect, and proposing a combination of known and novel solutions that together allow the correct analysis of arbitrary programs using the full power of the language.

A proposal for a flexible scheduling and memory management scheme for non-deterministic, andparallel execution of logic programs

In this paper, we examine the issue of memory management in the parallel execution of logic programs. We concentrate on non-deterministic and-parallel schemes which we believe present a relatively general set of problems to be solved, including most of those encountered in the memory management of or-parallel systems. We present a distributed stack memory management model which allows flexible scheduling of goals. Previously proposed models (based on the "Marker model") are lacking in that they impose restrictions on the selection of goals to be executed or they may require consume a large amount of virtual memory. This paper first presents results which imply that the above mentioned shortcomings can have significant performance impacts. An extension of the Marker Model is then proposed which allows flexible scheduling of goals while keeping (virtual) memory consumption down. Measurements are presented which show the advantage of this solution. Methods for handling forward and backward execution, cut and roll back are discussed in the context of the proposed scheme. In addition, the paper shows how the same mechanism for flexible scheduling can be applied to allow the efficient handling of the very general form of suspension that can occur in systems which combine several types of and-parallelism and more sophisticated methods of executing logic programs. We believe that the results are applicable to many and- and or-parallel systems.

Audit report on the National Deaf-Blind Equipment Distribution Program administered by the Iowa Utilities Board Division of the Iowa Department of Commerce for the year ended June 30, 2013

Audit report on the National Deaf-Blind Equipment Distribution Program administered by the Iowa Utilities Board Division of the Iowa Department of Commerce for the year ended June 30, 2013

Audit report on the National Deaf-Blind Equipment Distribution Program administered by the Iowa Utilities Board Division of the Iowa Department of Commerce for the year ended June 30, 2014

Audit report on the National Deaf-Blind Equipment Distribution Program administered by the Iowa Utilities Board Division of the Iowa Department of Commerce for the year ended June 30, 2014

Socio-cultural Degeneration and State Patronage of the Arts: Mapplethorpe, Cultural Crisis, and the NEA

The goal of this paper is to investigate how the Untied States federal government, specifically through the National Endowment for the Arts, or NEA, has acted in the position of an arts patron in the past few decades. Specifically, this paper will focus on the past decade and a half since the 'arts crisis' of the late 1980s and the social and political backlash against the art community in the 1990s, which was only against ‘offensive’ art that was seen as morally and culturally corruptive. I explore the political, social, and economic forms the backlash took, particularly rooted in a perceived fear of degenerative arts as a corruption of and a catalyst for the eventual collapse of American culture and values. Additionally, I analyse the role the federal government played in ‘ameliorating’ the situation. I investigate how state arts patronage has affected and continues to affect both the concepts behind and the manifestations of art, as well as who is encouraged, sanctioned, or neglected in the production of art. To accomplish this, I explore how and why the federal government employs the arts to define and redefine morality and culture, and how does it express/allow the expressions of these through art.

State compliance with the 19 essential recommendations of the National Commission on State Workmen's Compensation Laws, 1972-1980 /

On spine: Compliance with 19 ER's of National Commission, 1972-1980.

The History of the Establishment of the Division of Child Welfare of the Social Welfare Department of the State of Iowa, 1938

History of Child Welfare Legislation in the State of Iowa 1838-1898; Establishment of the Iowa State board of Control in 1898 and its influence on Child Welfare Legislation until 1925; Immediate background, organizing and the administration functions of the Child Welfare Division of the Social Welfare Department of the State of Iowa. NOTE: This document has pagination errors.

Report of the Section of Agencies and Institutions Division of Child Welfare State Department of Social Welfare, 1943

History of child and social welfare in the State of Iowa including legal responsibilities, rules and regulations, inspections and licensing and supervision. it also covers cooperation with state agencies. It also describes in detail the histories, functions and problems of individual welfare homes and schools.

Report on the Historic Preservation and Cultural and Entertainment District Tax Credit program administered by the State Historic Preservation Office within the State Historical Society of Iowa, a division of the Department of Cultural Affairs, for the period July 1, 2000 through June 30, 2013

Report on the Historic Preservation and Cultural and Entertainment District Tax Credit program administered by the State Historic Preservation Office within the State Historical Society of Iowa, a division of the Department of Cultural Affairs, for the period July 1, 2000 through June 30, 2013

Between pragmatism and the defence of a “Sister State” : the national association for the advancement of colored people and the U.S. occupation of Haiti, 1915-1922

À l’origine, la nouvelle concernant l’occupation américaine d’Haïti en 1915 a suscité peu d’indignation aux États-Unis. En effet, on reproche à la république son instabilité politique et on juge aussi qu’une intervention américaine concourrait à l’édifice de l’autorité de la loi. À partir de 1915 et surtout en 1920, l’Association nationale pour l’avancement des gens de couleur (NAACP), fondée en 1909, critique cette ingérence et milite pour y voir un terme. W.E. B. Du Bois et James Weldon Johnson, deux figures publiques noires importantes travaillant au sein de l’organisation, dénoncent avec conviction l’occupation d’Haïti. Les historiens ont jusqu’ici jugé que la NAACP fut inspirée par des considérations de solidarité raciale en adhérant à la cause de la souveraineté haïtienne. Si la thèse présente ne réfute pas cette possibilité, elle cherche tout de même à démontrer que le cadre conceptuel de la solidarité raciale ne saurait illustrer toute la complexité de la campagne haïtienne érigée par la NAACP. Par conséquent, une attention dirigée davantage sur le contexte social et politique américain entre 1915 et 1922 révèle que pour la NAACP, la dénonciation de l’occupation américaine d’Haïti représentait d’une part une opportunité de discuter des problèmes sociaux touchant les Afro-Américains, et d’autre part, une occasion de renforcer sa position aux États-Unis.

Governor Tom Judge: Early Years - The Path to Becoming Montana's 18th Governor -- Sidney Armstrong, Larry Pettit & Kent Kleinkopf “In the Crucible of Change”

The dramatic period of progressive change in Montana that is documented "In the Crucible of Change" series really exploded with the election of Governors Forrest Anderson and Tom Judge. Anderson's single term saw the dispatching of the sales tax as an issue for a long period, the reorganization of the executive branch of state government and the revision of Montana's Constitution. As a former legislator, county attorney, Supreme Court justice, and Attorney General, Anderson brought unmatched experience to the governorship when elected. Tom Judge, although much younger (elected MT’s youngest governor at age 38 immediately following Anderson), also brought serious experience to the governorship: six years as a MT State Representative, two years as a MT State Senator, four years is Lieutenant Governor and significant business experience. The campaign and election of John F. Kennedy in 1960 spurred other young Americans to service, including Tom Judge. First elected in 1960, he rose rapidly through MT’s political-governmental hierarchy until he took over the governorship in time to implement many of the changes started in Governor Anderson’s term. But as a strong progressive leader in his own right, Governor Judge sponsored and implemented significant advancements of his own for Montana. Those accomplishments, however, are the subject of other films in this series. This film deals with Tom Judge’s early years – his rise to the governorship from when he returned home after college at Notre Dame and newspaper experience in Kentucky to his actual election in November 1972. That story is discussed in this episode by three major players in the effort, all directly involved in Tom Judge’s early years and path to the governorship: Sidney Armstrong, Larry Pettit and Kent Kleinkopf. Their recollections of the early Tom Judge and the period of his advancement to the governorship provide an insider’s perspective of the growth of this significant leader of the important period of progressive change documented “In the Crucible of Change.” Sidney Armstrong, President of Sidney Armstrong Consulting, serves on the board and as the Executive Director of the Greater Montana Foundation. Formerly Executive Director of the Montana Community Foundation (MCF), she has served on national committees and participated in national foundation initiatives. While at MCF, she worked extensively with MT Governors Racicot and Martz on the state charitable endowment tax credit and other endowed philanthropy issues. A member of MT Governor Thomas L. Judge’s staff in the 1970s, she was also part of Governor Brian Schweitzer’s 2004 Transition Team, continuing to serve as a volunteer advisor during his term. In the 1980s, Sidney also worked for the MT State AFL-CIO and the MT Democratic Party as well as working two sessions with the MT Senate as Assistant Secretary of the Senate and aide to the President. A Helena native, and great granddaughter of pioneer Montanans, Sidney has served on numerous nonprofit boards, and is currently a board member for the Montana History Foundation. Recently she served on the board of the Holter Museum of Art and was a Governor’s appointee to the Humanities Montana board. She is a graduate of the International School of Geneva, Switzerland and the University of Montana. Armstrong's Irish maternal immigrant great-grandparents, Thomas and Maria Cahill Cooney, came to Virginia City, MT in a covered wagon in 1865, looking for gold. Eventually, they settled on the banks of the Missouri River outside Helena as ranchers. She also has roots in Butte, MT, where her journalist father's family, both of whom were newspaper people, lived. Her father, Richard K. O’Malley, is also the author of a well-known book about Butte, Mile High, Mile Deep, recently re-published by Russell Chatham. She is the mother of four and the grandmother of eight. Dr. Lawrence K. Pettit (Larry Pettit) (b. 5/2/1937) has had a dual career in politics and higher education. In addition to being Montana’s first Commissioner of Higher Education (the subject of another film in this series); Pettit, of Lewistown, served as legislative assistant to U.S. Senators James E. Murray and Lee Metcalf, campaign manager, head of transition team and assistant to Montana Governor Thomas L. Judge; taught political science at The Pennsylvania State University (main campus), was chair of political science at Montana State University, Deputy Commissioner for Academic Programs at the Texas Higher Education Coordinating Board, Chancellor of the University System of South Texas (since merged with Texas A&M University), President of Southern Illinois University, and President of Indiana University of Pennsylvania from where he retired in 2003. He has served as chair of the Commission on Leadership for the American Council on Education, president of the National Association of (University) System Heads, and on many national and state boards and commissions in higher education. Pettit is author of “If You Live by the Sword: Politics in the Making and Unmaking of a University President.” More about Pettit is found at http://www.lawrencekpettit.com… Kent Kleinkopf of Missoula is co-founder of a firm with a national scope of business that specializes in litigation consultation, expert vocational testimony, and employee assistance programs. His partner (and wife of 45 years) Kathy, is an expert witness in the 27 year old business. Kent received a BA in History/Education from the University of Idaho and an MA in Economics from the University of Utah. The Kleinkopfs moved to Helena, MT in 1971 where he was Assistant to the Commissioner of State Lands (later Governor) Ted Schwinden. In early 1972 Kent volunteered full time in Lt. Governor Tom Judge’s campaign for Governor, driving the Lt. Governor extensively throughout Montana. After Judge was elected governor, Kent briefly joined the staff of Governor Forrest Anderson, then in 1973 transitioned to Judge’s Governor’s Office staff, where he became Montana’s first “Citizens’ Advocate.” In that capacity he fielded requests for assistance from citizens with concerns and information regarding State Agencies. While on the Governor’s staff, Kent continued as a travel aide with the governor both in Montana and nationally. In 1977 Kent was appointed Director of the MT Department of Business Regulation. That role included responsibility as Superintendent of Banking and Chairman of the State Banking Board, where Kent presided over the chartering of many banks, savings and loans, and credit unions. In 1981 the Kleinkopfs moved to Missoula and went into the business they run today. Kent was appointed by Governor Brian Schweitzer to the Board of the Montana Historical Society in 2006, was reappointed and continues to serve. Kathy and Kent have a daughter and son-in-law in Missoula.