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 ... of logic programming languages. Two such languages, Prolog and its linear logic refinement, Lolli
(ps) - 31-mar-2009