DIB is a general-purpose package that allows a wide range of applications such as
recursive backtrack, branch and bound, and alpha-beta search to be implemented on a …

Parallel logic programming in PARLOG: the language and its implementation | Guide books skip
to main content ACM Digital Library home ACM home Google, Inc. (search) Advanced Search …

This article provides an overview of automated reasoning and of the various fields for which
it is relevant. It takes the form of a collection of articles, each covering some field and each …

The Rapport multimedia conferencing system supports interactive, real-time, distributed
conferences among two or more people. Executing on personal workstations interconnected …

This paper presents a scheme for intelligent backtracking in PROLOG programs. Rather
than doing the analysis of unification failures, this scheme chooses backtrack points by …

The AI application area having greatest influence on computer architecture is knowledge-
based expert systems. Knowledge-based systems are programs that embody the …

T his article assesses different architectural approaches to the design of computers for
artificial intelligence (AI) applications. We provide a classification scheme that highlights the …

Declarative (functional and relational) programming languages have become very widely
used in recent years, largely because of their high-level nature: declarative programs can be …

This paper gives a description of parallel approaches to logic programming. It offers
proposals for making use of parallelism within the whole proof process including unification …

A Qualitative Assessment Of Parallelism in Page 1 A Qualitative Assessment Of Parallelism in
Expert Systems Robert J. Douglass, Los Alamos National Laboratory Developers envision …