PFENNING Frank, editor, Types in Logic Programming, Logic Programming Series, the MIT Press, Cambridge, Massachusetts, London, England, 1992.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....the terms that are used to instantiate a variable, thus limiting the instantiated size of a program. There are di#erent typing systems for logic programs. For our purposes, the simplest form of typing many sorted typing su#ces. For more advanced typing systems in logic programs, see [39]. In a many sorted LP language, there is a finite set of types. Variables and constants have types such as # . Predicate symbols have types of the form # 1 . # n , and function symbols have types of the form # 1 . # n # . Variables of one type can only be instantiated to ....

Frank Pfenning, editor. Types in Logic Programming. Logic Programming Series. The MIT Press, 1992.

....Here we focus on functional logic programming and restrict the discussion to type systems considering parametric and inclusion polymorphism. Parametric polymorphism was initially introduced in the functional language ML [43, 34] and has been later incorporated to typed versions of logic languages [45, 28, 46], and in the functional logic paradigm [44, 27] The use of type variables, ranging over any type, makes possible to express the typing of parametric functions and parametric predicates in both functional and logic paradigm, and in their combination. Such class of type systems has been proved [43] ....

F. Pfenning, editor. Types in Logic Programming. Logic Programming Series. The MIT Press, 1992.

.... rather general constraint language [HS88] or logical expressions, e.g. XW90, Nai92] equational specifications[Han90] regular sets [Mis84, MR85, HJ92, DZ92, AL94] or type terms over a type structure possibly with parametric polymorphism and subtyping [MO84, LR91, Smo89, HT92, Han91] See also [Pfe92] for a collection of proposals. For two of these variants we will give short examples, first using type terms and second using logical rules. type person : male female. person type male : a,b. type female : c,d. female male type family : fam(female,male,list(person) type ....

Frank Pfenning, editor. Types in Logic Programming. Logic Programming Series. The MIT Press, 1992.

....since more than a decade. The major goal is to detect programming errors automatically at compile time. Unfortunately, there is no common agreement on the role of types in logic programs. Especially the conditions required for a program to be well typed (or type correct) differ. The collection in [Pfe92] contains some of the approaches. In this paper we show deficiencies of generally used semantics for well typing in type systems with subtyping and parametric polymorphism (e.g. Smo89, Bei92, HT92, Han91, YFS92] and others) These problems concern the ability to check for type errors and also ....

Frank Pfenning, editor. Types in Logic Programming. Logic Programming Series. The MIT Press, 1992.

No context found.

PFENNING Frank, editor, Types in Logic Programming, Logic Programming Series, the MIT Press, Cambridge, Massachusetts, London, England, 1992.

No context found.

PFENNING F., editor, Types in Logic Programming, Logic Programming Series, the MIT Press, Cambridge, Massachusetts, London, England, 1992.

No context found.

PFENNING F., editor, Types in Logic Programming, Logic Programming Series, the MIT Press, Cambridge, Massachusetts, London, England, 1992.

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