Logic Programming

Theory, Practices and Challenges

Buch | Softcover

103 Seiten

2014
Nova Science Publishers Inc (Verlag)
978-1-63117-853-5 (ISBN)

Artikel merken

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 the 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.

PrefaceFuzzy Logic Inferencing for Pong (FLIP)(Sophia Mitchell, Brandon Cook, Kelly Cohen, University of Cincinnati, Cincinnati, Ohio)Dislog: A Logic-based Language for Processing Discourse(Patrick Saint-Dizier, IRIT-CNRS France)SEProlog: A Set Extension of Prolog(Qing Zhou, LiGong Long, YingQi Huang, GuoHui Liao, The Software Institute, Zhongshan University, Guangzhou, Guangdong, P.R.China, and others)Direct Graphical Representation of First-order Logic for Inference(Hideaki Suzuki, Mikio Yoshida, National Institute of Information and Communications Technology, Iwaoka, Iwaokaka-cho, Nishi-ku, Kobe, Japan, and others)IndexPlease visit our website athttps://www.novapublishers.com/catalog/product_info.php?products_id=49607

Verlagsort	New York
Sprache	englisch
Maße	152 x 229 mm
Gewicht	240 g
Themenwelt	Mathematik / Informatik ► Informatik ► Theorie / Studium
ISBN-10	1-63117-853-9 / 1631178539
ISBN-13	978-1-63117-853-5 / 9781631178535
Zustand	Neuware