Joshua S. Hodas, Dale Miller  Home/Search
Context Related
| hmc.edu/~hodas/papers/iclp90.ps psu.edu/~dale/papers/iclp90hodas.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: hmc.edu/~hodas/papers/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We present a logic programming language that uses implications and universal quantifiers in goals and the bodies of clauses to provide a simple scoping mechanism for program clauses and constants. Within this language it is possible to define a simple notion of parametric module and local constant. Given this ability to structure programs, we explore how object-oriented programming, where objects are viewed as abstractions with behaviors, state, and inheritance, might be accommodated. To... (Update)
Context of citations to this paper: More
.... assumptions is a practical basis for building a semantically clean object oriented extensions on top of Prolog, along the lines of [HM90]. Recently, Bruno Dumant has ported the EDCG package for Life using HAGs. No performance evalution has been performed yet, but the...
.... retracting facts are not straightforward [3, 9, 19] ffl A notion of state encapsulation can be approximated using intuitionistic logic [15]. An object s state can be represented by assumptions in a context. Updating that state, however, means changing those assumptions. The...
Cited by: More
Model Checking Linear Logic Specifications - Bozzano, Delzanno, Martelli (2004) (Correct)
Object Calculi in Linear Logic - Bugliesi, Delzanno, Liquori, Martelli (2000) (Correct)
Linear Objects: logical processes with built-in inheritance - Andreoli, Pareschi (Correct)
Active bibliography (related documents): More All
0.5: An Evaluation of Prolog as a Tool for Natural Language Analysis - White (1990) (Correct)
0.3: Proof Theory in Linear Logic: A Specification of Concurrent Objects - Delzanno (Correct)
0.3: Modularity In Logic Programming - Bugliesi, Lamma, Mello (1993) (Correct)
Similar documents based on text: More All
0.2: Lolli: An Extension of Lambda-Prolog with Linear Logic Context.. - Hodas (1992) (Correct)
0.2: Logic Programming in a Fragment of Intuitionistic Linear Logic - Hodas, Miller (1994) (Correct)
0.1: Forum as a Logic Programming Language: Preliminary Report - Hodas, Polakow (1996) (Correct)
Related documents from co-citation: More All
15: Logic programming in a fragment of intuitionistic linear logic - Hodas, Miller - 1994
15: Linear Objects: Logical Processes with Built-in Inheritance - Pareschi
14: Uniform proofs as a foundation for logic programming (context) - Miller, Nadathur et al. - 1991
BibTeX entry: (Update)
Hodas J. and Miller D.: Representing Objects in a Logic Programming Language with Scoping Constructs, in: Logic Programming, Ed. D. Warren and P. Szeredi, Proc. Seventh Intl. Conf. on Logic Programming, MIT Press, 1990 http://citeseer.ist.psu.edu/hodas90representing.html More
@inproceedings{ hodas90representing,
author = "Joshua S. Hodas and Dale Miller",
title = "Representing Objects in a Logic Programming Language with Scoping Constructs",
booktitle = "Seventh International Conference on Logic Programming",
publisher = "The MIT Press",
editor = "David H. D. Warren and Peter Szeredi",
pages = "511--526",
year = "1990",
url = "citeseer.ist.psu.edu/hodas90representing.html" }
Citations (may not include all citations):430 Structure and Interpretation of Computer Programs (context) - Abelson, Sussman et al. - 1985
166 An overview of Prolog (context) - Nadathur, Miller - 1988
149 A logical analysis of modules in logic programming (context) - Miller - 1989
129 Smalltalk-80: The Language (context) - Goldberg, Robson - 1989
91 object database and environment): The language and the data .. (context) - Agrawal, Gehani - 1989
82 prolog: An extension of prolog with hypothetical implication.. (context) - Gabbay, Reyle - 1984
58 Contextual logic programming (context) - Monteiro, Porto - 1989
55 Clausal intuitionistic logic (context) - McCarty - 1988
53 Lexical scoping as universal quantification - Miller - 1989
24 Logical objects (context) - Conery - 1988
17 Linear objects: logical processes with built-in inheritance (context) - Andreoli, Pareschi - 1990
17 Expressing database queries with intuitionistic logic - Bonner, McCarty et al. - 1989
14 Clausal intuitionistic logic II (context) - McCarty - 1988
14 Merging objects and logic programming: Relational semantics (context) - Gallaire - 1986
11 Objects as intensions (context) - Chen, Warren - 1988
7 Imperial College of Science and Technology (context) - McCabe, Objects et al. - 1989
6 Local definitions with static scope rules in logic programmi.. (context) - Giordano, Martelli et al. - 1988
2 a common lisp implementation of Prolog (context) - Elliot, Pfennig - 1989
1 Uniform proof systems as a foundation for logic programming (context) - Miller, Nadathur et al.
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.hmc.edu/~hodas/papers/): More
Logic Programming in a Fragment of Intuitionistic Linear Logic - Hodas, Miller (1994) (Correct)
Lolli: An Extension of Lambda-Prolog with Linear Logic Context.. - Hodas (1992) (Correct)
Forum as a Logic Programming Language: Preliminary Report - Hodas, Polakow (1996) (Correct)
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