A polymorphic type system for prolog

&
Artificial Intelligence 23 (3):295-307 (1984)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0004-3702(84)90017-1

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,881

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Soundness and principal contexts for a shallow polymorphic type system based on classical logic.Alexander Summers - 2011 - Logic Journal of the IGPL 19 (6):848-896.
Second-order type isomorphisms through game semantics.Joachim de Lataillade - 2008 - Annals of Pure and Applied Logic 151 (2-3):115-150.
Mints type deductive calculi for logic programming.J. C. Shepherdson - 1992 - Annals of Pure and Applied Logic 56 (1-3):7-17.
A Fuzzy PROLOG Database System.Deyi Li & Dongbo Liu - 1990 - *Research Studies Press.
The Implementation of Prolog.Patrice Boizumault - 2014 - Princeton Legacy Library.
The computational content of atomic polymorphism.Gilda Ferreira & Vasco T. Vasconcelos - 2019 - Logic Journal of the IGPL 27 (5):625-638.
A Prolog Implementation of the Method of Euler Circles for Syllogistic Reasoning.Peter Yule - 1996 - Hcrc Publications, University of Edinburgh.
Logic and Prolog.Richard Spencer-Smith - 1991
The Mechanism and Freedom of Logic.Granville C. Henry - 1993 - Upa.
First-order, Curry-typed logic for natural language semantics.Shalom Lappin - unknown
Prolog Programming for Students: With Expert Systems and Artificial Intelligence Topics.David Callear - 2001 - Cengage Learning Business Press.
First-Order, Curry-Typed Logic for Natural Language Semantics.Chris Fox, Shalom Lappin & Carl Pollard - unknown
Prolog for Automatic Processing of Synonymy.Santiago Lanza - 2000 - Logica Trianguli 4:25-39.
Storage Operators and ∀‐positive Types in TTR Type System.Karim Nour - 1996 - Mathematical Logic Quarterly 42 (1):349-368.
Computability theory, semantics, and logic programming.Melvin Fitting - 1987 - Oxford: Clarendon Press.

Analytics

Added to PP
2020-12-22

Downloads
19 (#799,238)

6 months
11 (#237,876)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

A polymorphic type system for prolog.Alan Mycroft & Richard A. O'Keefe - 1984 - Artificial Intelligence 23 (3):295-307.

Add more citations

References found in this work

A polymorphic type system for prolog.Alan Mycroft & Richard A. O'Keefe - 1984 - Artificial Intelligence 23 (3):295-307.

Add more references