A type system for logic programs

Eyal Yardeni(Weizmann Institute of Science), Ehud Shapiro(Weizmann Institute of Science)
The Journal of Logic Programming
February 1, 1991
10.1016/0743-1066(91)80002-u
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
An autonomous molecular computer for logical control of gene expression
|Nature|2004|824
Programmable and autonomous computing machine made of biomolecules
|Nature|2001|642