Logic Programming: Theory, Practices and Challenges


Marcus J. Lambert (Editor)

Series: Computer Science, Technology and Applications
BISAC: COM051000

Prolog for logic programming is one of the most intensively studied software languages in the 1980s. During the same period, the data-flow model for parallel computation attracted a lot of attention of researchers in computer science; hence, it was very natural that several approaches were tried toward combining the two and implementing logic programs in parallel machines with the data-flow architecture.

These approaches, however, were rather indirect ones in the sense that they developed programs describing AND/OR-parallelism for deduction using a data-flow language and executed them in a data-flow computer, and yet did not devise a ‘direct’ model for parallel execution (reasoning) of a logic program. This book discusses fuzzy logic inferencing for Pong; dislog; SEProlog; and provides direct graphical representations of first-order logic for inference. (Imprint: Novinka )



Table of Contents


Chapter 1 – Fuzzy Logic Inferencing for Pong (FLIP) (pp. 1-48)
Sophia Mitchell, Brandon Cook and Kelly Cohen (University of Cincinnati, Cincinnati, Ohio)

Chapter 2 – Dislog: A Logic-Based Language for Processing Discourse (pp. 49-86)
Patrick Saint-Dizier (IRIT-CNRS France)

Chapter 3 – SEProlog: A Set Extension of Prolog (pp. 87-116)
Qing Zhou, LiGong Long, YingQi Huang and GuoHui Liao (The Software Institute, Zhongshan University, Guangzhou, Guangdong, P.R. China, and others)

Chapter 4 – Direct Graphical Representation of First-Order Logic for Inference (pp. 117-142)
Hideaki Suzuki and Mikio Yoshida (National Institute of Information and Communications Technology, Iwaoka, Iwaokaka-cho, Nishi-ku, Kobe, Japan, and others)
Free Download Available


Additional information