Statements (22)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
abstract machine
|
| gptkbp:abbreviation |
gptkb:WAM
|
| gptkbp:category |
gptkb:Prolog
logic programming virtual machines |
| gptkbp:designedFor |
gptkb:Prolog
|
| gptkbp:hasComponent |
gptkb:train
heap registers stack |
| https://www.w3.org/2000/01/rdf-schema#label |
Warren Abstract Machine
|
| gptkbp:influenced |
Erlang abstract machine
Mercury programming language implementation of Prolog compilers |
| gptkbp:introducedIn |
1983
|
| gptkbp:inventedBy |
gptkb:David_H._D._Warren
|
| gptkbp:supports |
backtracking
unification logical variables |
| gptkbp:usedFor |
logic programming
|
| gptkbp:bfsParent |
gptkb:David_S._Warren
|
| gptkbp:bfsLayer |
7
|