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

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,865

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

Summary of MYCROFT: A system for understanding simple picture programs.Ira P. Goldstein - 1975 - Artificial Intelligence 6 (3):249-288.
Artificial Intelligence in Simulation.Iván Futó & Tamás Gergely - 1990 - Prentice-Hall.
Prolog and natural-language analysis.C. Ravi Shankar - 1989 - Artificial Intelligence 39 (2):275-278.
Pac-learning non-recursive prolog clauses.William W. Cohen - 1995 - Artificial Intelligence 79 (1):1-38.
On the existence of nonterminating queries for a restricted class of PROLOG-clauses.Danny de Schreye, Maurice Bruynooghe & Kristof Verschaetse - 1989 - Artificial Intelligence 41 (2):237-248.
Logic programming and knowledge representation—The A-Prolog perspective.Michael Gelfond & Nicola Leone - 2002 - Artificial Intelligence 138 (1-2):3-38.
Prolog technology for default reasoning: proof theory and compilation techniques.Torsten Schaub & Stefan Brüning - 1998 - Artificial Intelligence 106 (1):1-75.
Simply Logical: Intelligent Reasoning by Example.Peter Flach - 1994 - Wiley.
Applications of the situation calculus to formalizing control and strategic information: the Prolog cut operator.Fangzhen Lin - 1998 - Artificial Intelligence 103 (1-2):273-294.
Alan Bundy (ed.), Catalogue of Artificial Intelligence Techniques; Dennis Mercadal, Dictionary of Artificial Intelligence; Jenny Raggett and William Bains, Artificial Intelligence from A to Z; Ellen Thro, The Artificial Intelligence Dictionary.S. S. Ali - 1996 - Minds and Machines 6:100-105.

Analytics

Added to PP
2020-12-22

Downloads
27 (#822,464)

6 months
7 (#699,353)

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