D. DeGroot and G. Lindstrom, editors. Functional and Logic Programming. Prentice Hall, 1986. Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
Report of the Logic Programming Language PROTOS-L - Beierle, Böttcher, Meyer (1994) (Correct)
....more liberal with respect to its type system e.g. by allowing sort expressions involving features and roles, PROTOS L sticks to Horn clauses and sort constants, but allows additionally parametric sorts. There are various approaches to enrich in particular logic programming with types (see e.g. [DeGroot and Lindstrom, 1986]) An integration of parametric polymorphism as in ML [Harper et al. 1986] with Prolog was suggested in [Mycroft and O Keefe, 1984] Ordersorted type concepts were developed by Goguen et al. and are present in OBJ [Futatsugi et al. 1985] and Eqlog [Goguen and Meseguer, 1986] Huber and Varsek, ....
D. DeGroot and G. Lindstrom, editors. Functional and Logic Programming. Prentice Hall, 1986.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC