Logic Programming: Theory, Practices and Challenges (Computer Science, Technology and Applications)

ISBN 10: 1631178539 / ISBN 13: 9781631178535

Edité par Nova Science Pub Inc, 2014

A propos de cet article

Like New.

N° de réf. du vendeur D8F0-0-M-1631178539-6

Détails bibliographiques

• Titre: Logic Programming: Theory, Practices and Challenges (Computer Science, Technology and Applications)
• Éditeur: Nova Science Pub Inc
• Date de parution: 2014
• Langue: anglais
• ISBN à 10 chiffres: 1631178539
• ISBN à 13 chiffres: 9781631178535
• Reliure: Paperback
• État de l'article: Like New
• Type de livre: book

A propos de ce titre

Synopsis

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.