No label defined (Q4281605)
From MaRDI portal
scientific article; zbMATH DE number 512898
Language | Label | Description | Also known as |
---|---|---|---|
English | No label defined |
scientific article; zbMATH DE number 512898 |
Statements
10 March 1994
0 references
Warren Abstract Machine
0 references
constraints management
0 references
logic programming language
0 references
abstract machine
0 references
unification algorithm
0 references
set-constraints
0 references