Michael Winikoff, James Harland  Home/Search
Context Related
| cs.mu.oz.au/publicatio...mu_95_26.ps.gz munkora.cs.mu.oz.au/pu...mu_95_26.ps.gz cs.mu.oz.au/tr_db/mu_95_26.ps.gz 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: cs.mu.oz.au/publications/tr_...TR (more) From: stanford.edu/~iliano/linear...llb (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Given a logic we would like to derive from it a programming language. In order to do this we need to have a formal litmus test which identifies logic programming languages. The standard test is uniformity introduced by Miller, Nadathur, Pfenning and Scedrov. Uniformity suffers from a number of shortcomings, one of the major ones being that it works best in logics which allow only a single conclusion. This report looks at a variety of intuitions which distinguish logic programming from theorem... (Update)
Context of citations to this paper: More
.... developed on in [HP90, HP91, HP92] and is published in its final form in [PH94] The question of design has recently been reopened in [WH96a] 10 The Lygon Language ffl Implementation: The first stab at implementing Lygon is reported on in [WH95a] The final version of the...
.... system was demonstrated [59] A preliminary version of chapter 4 appeared as a technical report [148] as did an early version of chapter 3 [151]. Section 5.1 is based on the Lygon 0.7 reference manual [146] The reference manual also contains a section on Lygon programming. This...
Cited by: More
Towards the Automation of the Design of Logic Programming.. - Lutovac, Harland (1997) (Correct)
Logic Programming with Linear Logic - Winikoff (1997) (Correct)
Hitch Hiker's Guide to Lygon 0.7 - Winikoff (1996) (Correct)
Active bibliography (related documents): More All
0.9: Implementing the Linear Logic Programming Language Lygon - Winikoff, Harland (Correct)
0.4: Programming in Lygon: An Overview - Harland, Pym, Winikoff (1996) (Correct)
0.3: Disjunction and Modular Goal-directed Proof Search - Stone (Correct)
Similar documents based on text: More All
0.3: Assembling Agent Oriented Software Engineering.. - Juan, Sterling, Winikoff (2002) (Correct)
0.3: Agents via Mixed-mode Computation in Linear Logic: A Proposal - Harland, Winikoff (2001) (Correct)
0.3: Flexibility and Robustness in Agent Interaction Protocols - Hutchison, Winikoff (2002) (Correct)
Related documents from co-citation: More All
3: Implementing the Linear Logic Programming Language Lygon - Winikoff, Harland
2: Implementation and development issues for the linear logic programming language .. - Winikoff, Harland - 1995
2: Some applications of the linear logic programing language Lygon (context) - Winikoff, Harland - 1996
BibTeX entry: (Update)
Michael Winikoff and James Harland. Deriving logic programming languages. Technical Report 95/26, Melbourne University, 1996. http://citeseer.ist.psu.edu/winikoff96deriving.html More
@misc{ winikoff96deriving,
author = "M. Winikoff and J. Harland",
title = "Deriving logic programming languages",
text = "Michael Winikoff and James Harland. Deriving logic programming languages.
Technical Report 95/26, Melbourne University, 1996.",
year = "1996",
url = "citeseer.ist.psu.edu/winikoff96deriving.html" }
Citations (may not include all citations):343 Introduction to Metamathematics (context) - Kleene - 1952
340 Uniform proofs as a foundation for logic programming (context) - Miller, Nadathur et al. - 1991 ACM DBLP
149 A logical analysis of modules in logic programming (context) - Miller - 1989 ACM DBLP
81 A multiple-conclusion meta-logic - Miller - 1994 DBLP
79 A uniform proof-theoretic investigation of linear logic prog.. - Pym, Harland - 1994 DBLP
63 A brief guide to linear logic - Scedrov - 1990 DBLP
49 ACL -- a concurrent linear logic programming paradigm - Kobayashi, Yonezawa - 1993
46 Forum: A multiple-conclusion specification logic - Miller - 1995
36 An overview of temporal and modal logic programming - Orgun, Ma - 1994 ACM DBLP
30 Permutability of inferences in Gentzen's calculi LK and LJ (context) - Kleene - 1952
26 Implementing the linear logic programming language Lygon - Winikoff, Harland - 1995 DBLP
16 Computational Aspects of Linear Logic - Lincoln - 1992 ACM
12 Concurrent logic programming as uniform linear proofs - Volpe - 1994
9 Uniform provability in classical logic - Nadathur - 1996 ACM DBLP
8 Forum as a logic programming language: Preliminary results a.. - Hodas, Polakow - 1996
8 Deterministic resource management for the linear logic progr.. - Winikoff, Harland - 1994
6 Uniform proofs and disjunctive logic programming - Nadathur, Loveland - 1995 ACM
3 Characterising logic programming languages (context) - Winikoff, Harland - 1995
3 Lygon home page (context) - Winikoff - 1995
1 Bottom-up execution of linear logic programming languages (context) - Harland, Pym et al. - 1996
Documents on the same site (http://www.cs.mu.oz.au/publications/tr_db/TR.html): More
Feature Replenishment for Long-Term Visual Motion Tracking - Tak Keung (Correct)
Separating Auxiliary Arity Hierarchy of First-Order Incremental .. - Dong, Zhang (1997) (Correct)
FLUID: Specifying Control and Data Flow for User Interfaces - Chesson, Johnston (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