A type system for logic programs
Eyal Yardeni(Weizmann Institute of Science), Ehud Shapiro(Google (United States))
Cited by 104
Related Papers
Single-cell sequencing-based technologies will revolutionize whole-organism science
|Nature Reviews Genetics|2013|1.2k
The Art of Prolog
|IEEE Expert|1987|1.1k
Algorithmic Program Debugging
|The MIT Press eBooks|1983|1.1k