134
click to vote
LOPSTR
2005
Springer
15 years 8 months ago
2005
Springer
A variable is local if it occurs in a clause body but not in its head. Local variables appear naturally in practical logic programming, but they complicate several aspects such as ...