A deterministic prolog fixpoint semantics☆
Under an Elsevier user license
open archive
Cited by (0)
- ☆
The research for this paper was partially supported by NSF grant MCS83-04959.
Copyright © 1985 Published by Elsevier Inc.
The research for this paper was partially supported by NSF grant MCS83-04959.