Logic Programming: Theory, Practices and Challenges

Marcus J. Lambert (Editor)

Series: Computer Science, Technology and Applications
BISAC: COM051000

Clear

Volume 10

Issue 1

Volume 2

Volume 3

Special issue: Resilience in breaking the cycle of children’s environmental health disparities
Edited by I Leslie Rubin, Robert J Geller, Abby Mutic, Benjamin A Gitterman, Nathan Mutic, Wayne Garfinkel, Claire D Coles, Kurt Martinuzzi, and Joav Merrick

eBook

Digitally watermarked, DRM-free.
Immediate eBook download after purchase.

Product price
Additional options total:
Order total:

Quantity:

Details

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 )

Preface

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

Index

You have not viewed any product yet.