Skip to search formSkip to main contentSkip to account menu

Warren Abstract Machine

Known as: WAM, Warren 
In 1983, David H. D. Warren designed an abstract machine for the execution of Prolog consisting of a memory architecture and an instruction set. This… 
Wikipedia (opens in a new tab)

Related topics

Related topics

7 relations
ALFAbstract machineCompilerProlog

Broader (1)

Logic programming

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2002
2002
Agronomic and Environmental Soil Phosphorus Testing in Soils Receiving Liquid Swine Manure
There is uncertainty concerning evaluation of bioavailable P in manured soils. This study assessed P availability in manured Iowa… 
Highly Cited
1999
Highly Cited
1999
Effectiveness of current farming systems in the control of dryland salinity
Highly Cited
1997
Highly Cited
1997
The network society
The Network Society is now more than ever the essential guide to the past, consequences and future of digital communication… 
1994
1994
Occam: Specification and Compiler Correctness - Part I: The Primary Model
We develop several simple operational models of Occam at different levels of abstraction, and relate them by relative correctness… 
Highly Cited
1987
Highly Cited
1987
Design and evaluation of algorithms to compute the transitive closure of a database relation
Recursive query evaluation is a capability of deductively-augmented database systems that conventional database systems do not… 
Highly Cited
1986
Highly Cited
1986
Organizing Knowledge and Behavior at Yale's Institute of Human Relations
IN 1929 JAMES ANGELL, president of Yale, announced plans for a unique teaching and research center for those fields "directly… 
Review
1985
Review
1985
Performance studies of a Prolog machine architecture
The PLM is a co-processor a r c h i t e c t u r e designed for efficient execu t ion of Prolog programs. It is the first p ro to… 
Highly Cited
1982
Highly Cited
1982
Glycosaminoglycans and proteoglycans in physiological and pathological processes of body systems
Rajendra Varma received undergraduate education at the University of Delhi, India, and graduate education at the University of… 
Highly Cited
1982
Highly Cited
1982
Using Slots and Modifiers in Logic Grammars for Natural Language
Highly Cited
1973
Highly Cited
1973
Tibetan Species of Dung Beetle from Late Pleistocene Deposits in England
A LARGE and distinctive species of the dung beetle Aphodius that is clearly not a member of the present day European fauna has… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)