1. (100%) A Multiple-Conclusion Meta-Logic - A Multiple-conclusion Meta-logic,Dale Miller
a meta-language, Forum greatly extends the expressiveness of these other logic programming languages. To
(ps) - 31-mar-2009