Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

"Addressed to readers at different levels of programming expertise, The Practice of Prolog offers a departure from current books that focus on small programming examples requiring additional instruction in order to extend them to full programming projects. It shows how to design and organize moderate to large Prolog programs, providing a collection of eight programming projects, each with a particular application, and illustrating how a Prolog program was written to solve the application. These range from a simple learning program to designing a database for molecular biology to natural language generation from plans and stream data analysis."

Prolog (Computer program language) --- Programming languages --- COMPUTER SCIENCE/Programming Languages

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

"This tutorial demystifies one of the most important yet poorly understood aspects of logic programming, the Warren Abstract Machine or WAM. The author's step-by-step construction of the WAM adds features in a gradual manner, clarifying the complex aspects of the design and providing the first detailed study of WAM since it was designed in 1983. Developed by David H.D. Warren, the WAM is an abstract (nonphysical) computer that aids in the compilation and implementation of the Prolog programming language and offers techniques for compiling and optimizing symbolic computing that can be generalized beyond Prolog. Although the benefits of the WAM design have been widely accepted, few have been able to penetrate the WAM. This lucid introduction defines separate abstract machines for each conceptually separate part of the design and refines them, finally stitching them together to make a WAM. An index presents all of the critical concepts used in the WAM. It is assumed that readers have a clear understanding of the operational semantics of Prolog, in particular, of unification and backtracking, but a brief summary of the necessary Prolog notions is provided."

Computers [Electronic digital ] --- Computers [Electronische digitale ] --- Electronic digital computers --- Elektronische digitale computers --- Logic programming --- Logisch programmeren --- Logische programmering --- Ordinateurs numériques électroniques --- PROLOG (Computer program language) --- PROLOG (Computer programmeertaal) --- PROLOG (Langage de programmation) --- Programmation logique --- Programmeren [Logisch ] --- Programming [Logic ] --- Prolog (Computer program language) --- Electronic digital computers. --- Logic programming. --- Prolog (Computer program language). --- Ordinateurs --- Computer programming --- Automatic digital computers --- Computers, Electronic digital --- Digital computers, Electronic --- Computers --- Hybrid computers --- Sequential machine theory --- COMPUTER SCIENCE/General

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Computational linguistics --- Prolog (Computer program language) --- Automatic language processing --- Language and languages --- Language data processing --- Linguistics --- Natural language processing (Linguistics) --- Data processing --- Applied linguistics --- Cross-language information retrieval --- Mathematical linguistics --- Multilingual computing --- Prolog (computer program language) --- Linguistique informatique --- PROLOG (Langage de programmation) --- Linguistique --- Informatique --- Prolog (langage de programmation)

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

'Topics in Programming Languages' explores the arch from the formation of alphabet and classical philosophy to artificial programming languages

Language and languages --- Programming languages (Electronic computers) --- Prolog (Computer program language) --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Electronic data processing --- Languages, Artificial --- Philosophy. --- Programming languages

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Artificial intelligence --- Reasoning --- -Logic, Symbolic and mathematical --- Prolog (Computer program language) --- 681.3*I23 --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Argumentation --- Ratiocination --- Reason --- Thought and thinking --- Judgment (Logic) --- Logic --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Data processing --- Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- Artificial intelligence. --- Logic, Symbolic and mathematical. --- Data processing. --- Prolog (Computer program language). --- 681.3*I23 Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- Logic, Symbolic and mathematical