Searching for "The Early Years of Logic Programming." – sorted by Relevance.
-
Localizing and Explaining Reasons for Non-Terminating Logic Programs With Failure-Slices
- operator is a heritage of the early years of logic programming. Its semantics prevents an e#ective analysis
- Cited by 2 (2 self) – Add To MetaCart

