Logic Programming: Theory, Practices and Challenges

LAMBERT M.J.

ISBN 10: 1631178539 / ISBN 13: 9781631178535

Edité par Nova Science Publishers Inc, 2014

A propos de cet article

Editor(s): Lambert, Marcus J. Num Pages: 103 pages. BIC Classification: UY. Dimension: 226 x 154 x 9. Weight in Grams: 226. . 2014. Paperback. . . . . Books ship from the US and Ireland. N° de réf. du vendeur V9781631178535

Détails bibliographiques

Titre : Logic Programming: Theory, Practices and ...

Éditeur : Nova Science Publishers Inc

Date d'édition : 2014

Reliure : Couverture souple

Etat : New

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.