Description

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

Logic Programming: Theory, Practices and

    Product form

    £86.99

    Includes FREE delivery

    RRP £115.99 – you save £29.00 (25%)

    Order before 4pm today for delivery by Thu 2 Jul 2026.

    A Paperback / softback by Marcus J Lambert

    2 in stock

      Trusted by thousands of customers. See 2,385+ Customer Reviews

      View other formats and editions of Logic Programming: Theory, Practices and by Marcus J Lambert

      Publisher: Nova Science Publishers Inc
      Publication Date: 01/06/2014
      ISBN13: 9781631178535, 978-1631178535
      ISBN10: 1631178539
      Also in:
      Computing Computer science

      Description

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

      Recently viewed products

      © 2026 Book Curl

        • American Express
        • Apple Pay
        • Diners Club
        • Discover
        • Google Pay
        • Maestro
        • Mastercard
        • PayPal
        • Shop Pay
        • Union Pay
        • Visa

        Login

        Forgot your password?

        Don't have an account yet?
        Create account