No label defined (Q4287514)
From MaRDI portal
scientific article; zbMATH DE number 549994
Language | Label | Description | Also known as |
---|---|---|---|
English | No label defined |
scientific article; zbMATH DE number 549994 |
Statements
12 April 1994
0 references
committed choice concurrency
0 references
logic programs
0 references
distributed logic programs
0 references
deferred substitution semantics
0 references
interpreted optimization
0 references
SLD- resolution
0 references
meta-interpretation
0 references