Leanpub Header

Skip to main content
Go to Leanpub.com

Filters

Category: "Prolog"

Books

  1. Prolog Programming: From Fundamentals to Advanced Logic Programming
    Prolog Programming: From Fundamentals to Advanced Logic Programming
    A comprehensive guide to logic programming with SWI-Prolog
    Steve Publications

    Discover the power of thinking in logic. This hands-on guide takes you from your first Prolog query to advanced techniques in constraints, grammars, AI search, meta-programming and production development. With clear explanations and executable SWI-Prolog examples, you’ll learn not just how Prolog works, but how to use it well.

  2. Little Elpier
    Little Elpier
    Higher-Order Logic, Types and λProlog, One Question at a Time
    Volodymyr Pavlyshyn

    What eats a fly? Ask the pond. λProlog, types and higher-order logic from zero, one question at a time.