Searching for "A Declarative Approach for First-Order Built-in's of Prolog." – sorted by Relevance.
-
A Declarative Approach for First-Order Built-in's of Prolog
- -R9246 1992 A Declarative Approach for First-Order Built-in's of Prolog Krzysztof R. Apt CWI P.O. Box
- Cited by 4 (2 self) – Add To MetaCart

