Choose an application

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

Logic programming --- Logisch programmeren --- Logische programmering --- Programmation logique --- Programmeren [Logisch ] --- Programming [Logic ] --- Logic programming.

Choose an application

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

Artificial intelligence. Robotics. Simulation. Graphics --- AI(Artificial intelligence) --- Artificial intelligence --- Artificial thinking --- Artificiële intelligentie --- Electronic brains --- Intellectronics --- Intelligence [Artificial ] --- Intelligence artificielle --- Intelligent machines --- Kunstmatige intelligentie --- Logic programming --- Logisch programmeren --- Logische programmering --- Machine intelligence --- Programmation logique --- Programmeren [Logisch ] --- Programming [Logic ] --- Thinking [Artificial ] --- Logic programming. --- Data processing. --- Cerveaux électroniques --- Machines intelligentes --- Pensée artificielle --- Data processing --- Informatique --- Artificial intelligence - Data processing.

Choose an application

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

Logic programming --- Logisch programmeren --- Logische programmering --- Programmation logique --- Programmeren [Logisch ] --- Programming [Logic ] --- 681.3*I23 --- Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- 681.3*I23 Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- Computer programming --- Logic programming.

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)

This volume is based on papers presented during the ICLP '94 Workshop on Nonmonotonic Extensions of Logic Programming and on papers solicited afterwards from key researchers participating in the workshop. In total 10 carefully refereed, revised, full research papers on semantics and computational aspects of logic programs are included. Logic programs rely on a nonmonotonic operator often referred to as negation by failure or negation by default. The nonmonoticity of this operator allows to apply results from the area of nonmonotonic theories to the investigation of logic programs (and vice versa). This volume is devoted to the interdependence of nonmonotonic formalisms and logic programming.

Logic programming --- Logisch programmeren --- Logische programmering --- Programmation logique --- Programmeren [Logisch ] --- Programming [Logic ] --- Artificial intelligence. --- Computer network architectures. --- Software engineering. --- Information theory. --- Artificial Intelligence. --- Computer System Implementation. --- Software Engineering/Programming and Operating Systems. --- Theory of Computation. --- Communication theory --- Communication --- Cybernetics --- Computer software engineering --- Engineering --- Architectures, Computer network --- Network architectures, Computer --- Computer architecture --- 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