A relaxed condition for avoiding the occur-check (Q6076347)
From MaRDI portal
scientific article; zbMATH DE number 7741107
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A relaxed condition for avoiding the occur-check |
scientific article; zbMATH DE number 7741107 |
Statements
A relaxed condition for avoiding the occur-check (English)
0 references
21 September 2023
0 references
occur-check
0 references
unification
0 references
SLD-resolution
0 references
logic programming
0 references
modes
0 references
selection rule
0 references
delays/coroutining
0 references
