Logic Programming with Prolog
by Max BramerWritten for those who wish to learn Prolog as a powerful software development tool, but do not necessarily have any background in logic or AI.
Includes a full glossary of the technical terms and self-assessment exercises.
- First published
- 2005
- Publishers
- Springer
- Subjects
- Logic programming·Prolog
Prolog is one of these languages that has struggled for decades to achieve wide usage. As Bramer explains, it is a logic language, as opposed to procedural languages like C, Java or C#.
Books
Buch Judith
Max Huber
You Can Cook This!
Max La Manna
Environmental Carcinogenesis
Max Costa
Max Beckmann
Max Beckmann
Glass Wall
Max Egremont
Hauptgruppe 1
Max Ulmann
Ausgabe Neuer Aktien
Max Bärnreuther
Prayers to Share-Peace & Rest Max Lucado
Max Lucado
Dan Barry's Daughter
Max Brand [pseudonym]
Andrew and Andrew
Max T. Zhang
Dhammapada
Max F. Müller
Ms. Tree
Max Allen Collins
Gunman's Reckoning Illustrated
Max Brand [pseudonym]
Easter Paper Airplanes
Max Waters
Kill Red
Max O'Hara
Abyss
Max Hastings
Yes to the City
Max Holleran
Contrarian
Max Chafkin
How I Finally Became
Max Robinson
Operation Pedestal
Max Hastings
Contrarian
Max Chafkin
Armutsgruppen
Max Keck
22 Murders of Madison May
Max Barry
Ayuda Está Aquí
Max Lucado
Central Laboratory
Max Jacob
Riders of the Silences Illustrated
Max Brand
Studien zur Sagengeschichte Englands
Max Deutschbein
This is a reproduction of a book published before 1923.
Alcatraz
Max Brand [pseudonym]
Draw Manga Beasts
Max Marlborough
Libro de Max
Max Keiser
Art and Craft of Judgment-Writing
Max Barrett
Beyond the Greek New Testament
Max Botner
Cuentos infantiles 6 años
Max Olivetti
Abyss
Max Hastings
3 : 16 Promise
Max Lucado
Maggots Screaming!
Max Booth III
Hauptgruppe 6
Max Ulmann
Abortion and Informed Common Sense
Max J. Skidmore
It Eats What Feeds It
Max Hoven
Last Exit
Max Gladstone
Encyclopedia of Forensic Sciences
Max M. Houck
Paper Airplanes Book
Max Waters
Pascual el Dragón Descubre América
Max Olivetti
Oscar Plotter
Caroline Walker; Max Rambaldi
Similar books
Relevant Logics and Their Rivals
Ross Brady
Concept and Object
Anthony Palmer
Informal Logic
Douglas N. Walton
Problem of Plurality of Logics
Pavel Arazim
Act and Object of Judgment
Brian Andrew Ball
Sortals and the Subject-Predicate Distinction (2001)
Michael Durrant
This title was first published in 2001.
Philosophy of Logical Systems
Jaroslav Peregrin
This book addresses the hasty development of modern logic, especially its introducing and embracing various kinds of artificial languages and moving from the study of natural languages to that of artificial ones.
Why Did the Logician Cross the Road?
Stan Baronett
Mathematical Logic
Katalin Bimbó
This graduate level text on first-order logic highlights the importance of this area as well as the abundance of results and some applications.
Language Lover's Puzzle Book
Alex Bellos
From the bestselling author of alex's adventures in numberland and can you solve my problems?
Semantic Conception of Logic
Gil Sagi
Words of Power
Andrea Nye
Development of Mathematical Logic
P. H. Nidditch
Revisiting Searle on Deriving Ought from Is
Edoardo Fittipaldi
Problems of Logic
Andrew Paul Ushenko
Routledge Handbook of Modality
Otávio Bueno
Naturalizing Logico-Mathematical Knowledge
Sorin Bangu
Fictionalism in Philosophy
Bradley Armour-Garb
There are things we routinely say that may strike us as literally false but that we are nonetheless reluctant to give up.
Polarisation, Arrogance, and Dogmatism
Alessandra Tanesini
"polarisation, intransigence and dogmatism in political and moral debate have in recent years threatened to overwhelm many western-style democracies, where for centuries reasoned argument has been a hallmark feature of tackling disagreement.
Logic As a Liberal Art
R. E. Houser
Essentials of Logic
A. Wolf
Originally published in 1926, this book is an exploration of the essentials of logic: the study of the general conditions of valid inference.
Brain Games Relax & Solve Word Search
Pil Edited
Modalities in Medieval Philosophy
Simo Knuuttila
Studies in modal notions, such as necessity, possibility or impossibility, have always played an important role in philosophical analysis.
Healing the Reason-Emotion Split
Daniel S. Levine
Healing the reason-emotion split draws on research from experimental psychology and neuroscience to dispel the myth that reason should be heralded above emotion.
Brain Games Sudoku Puzzles Arrow
Pil Edited
Logic from Kant to Russell
Sandra Lapointe
Revival
Lizzie Susan Stebbing
Wales has been called the land of revival because at least fifteen outstanding revivals in wales from 1762-1862 resulted in spiritual awakening.
Key to Exercises in Logic and Scientific Method
A. Wolf
Originally published in 1926, this book was written in the first instance for the benefit of those students of logic and scientific method who receive insufficient or no help in the way of oral instruction.
Modalities in Medieval Philosophy
Simo Knuuttila
Originally published in 1993, modalities in medieval philosophy looks at the idea of modality as multiplicity of reference with respect to alternative domains.
Test Your Logic
Mensa Mensa Ltd
Power of Logic
Frances Howard-Snyder
Mathematical Logic
Katalin Bimbo
Modalities in Medieval Philosophy
Simo Knuuttila
Originally published in 1993, modalities in medieval philosophy looks at the idea of modality as multiplicity of reference with respect to alternative domains.
Kant's Revolutionary Theory of Modality
Uygar Abaci
Kant's revolutionary theory of modality is a comprehensive study of immanuel kant's views on modal notions of possibility, actuality or existence, and necessity.
Mathematical Logic
Katalin Bimbo
Recursivity and Contingency
Yuk Hui
This book employs recursivity and contingency as two principle concepts to investigate into the relation between nature and technology, machine and organism, system and freedom.
Recursivity and Contingency
Yuk Hui
This book employs recursivity and contingency as two principle concepts to investigate into the relation between nature and technology, machine and organism, system and freedom.
Multimodal Semiotics and Rhetoric in Videogames
Jason Hawreliak
This book merges recent trends in game studies and multimodal studies to explore the relationship between the interaction between videogames' different modes and the ways in which they inform meaning for both players and designers.
Naturalizing Logico-Mathematical Knowledge
Sorin Bangu
This book is meant as a part of the larger contemporary philosophical project of naturalizing logico-mathematical knowledge, and addresses the key question that motivates most of the work in this field: what is philosophically relevant about the nature of.
Digital Design, Global Edition
M. Morris R. Mano
Preface to Logic (1946)
Morris R. Cohen
Published in 1946, this volume does not purpose to be a treatise on logic.
Declarative Logic Programming
Michael Kifer
The idea of this book grew out of a symposium that was held at stony brook in september 2012 in celebration of david s.
Handbook of Model Checking
Edmund M. Clarke
Model checking is a computer-assisted method for the analysis of dynamical systems that can be modeled by state-transition systems.
Logic Brainteasers
Kenneth A. Russell
Logic of Knowledge Bases
Hector J. Levesque
Measuring Inconsistency in Information
Grant, John
Philosophical Perceptions on Logic and Order
Jeremy Horne
Strong reasoning skills are an important aspect to cultivate in life, as they directly impact decision making on a daily basis.
Eudemus of Rhodes
William Fortenbaugh
Eudemus of rhodes was a pupil of aristotle in the second half of the fourth century bce.
First Course in Fuzzy Logic
Hung T. Nguyen
Logic from Kant to Russell
Sandra Lapointe
Bad Arguments
Robert Arp
A timely and accessible guide to 100 of the most infamous logical fallacies in western philosophy, helping readers avoid and detect false assumptions and faulty reasoningyou'll love this book or you'll hate it.
Inquisitive Semantics
Ivano Ciardelli
This is an open access title available under the terms of a cc by-nc-nd 4.
Continued Exercise of Reason
Brendan Dooley
Logic in Wonderland an Intro T
Nitsa Movshovitz-Hadar
Logic for Physicists
Nicolas A. Pereyra
This book gives a rigorous yet 'physics-focused' introduction to mathematical logic that is geared towards natural science majors.
Public Service Dominant Logic
Martin Fransson
This textbook examines how public services are often organised around principles derived from the manufacturing industry.
Everything Logic Puzzles Book, Volume 2
Marcel Danesi