groundness - Robuta Search

https://arxiv.org/abs/cs/9811001 [cs/9811001] A Polymorphic Groundness Analysis of Logic Programs Abstract page for arXiv paper cs/9811001: A Polymorphic Groundness Analysis of Logic Programs cs polymorphic analysis logic programs