Michael Winikoff, James Harland  Home/Search
Context Related
| rmit.edu.au/lygon/papers...acsc96.ps.gz rmit.edu.au/~winikoff/Paper...acsc96.ps rmit.edu.au/~jah/publica...acsc96.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: rmit.edu.au/lygon/pap...ABSTRACTS (more) From: rmit.edu.au/~jah/pubs (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We describe and discuss the applications of a logic programming language called Lygon. This language is based on linear logic, a logic designed with bounded resources in mind. Linear logic may be thought of as a generalisation of classical logic, and as a result Lygon contains various features which do not exist in (pure) Prolog, whilst maintaining all the features of (pure) Prolog. In this paper we describe various applications of this language, which include graph problems, and problems... (Update)
Context of citations to this paper: More
.... and in clause definitions and, thus, affecting the usability of the language. Actually, in the examples in [76], particular subclasses of formulas are considered reducing to other languages like LinLog or Lolli (introduced below) Lolli [44] seems to...
.... features and examples In this section, we discuss various programming techniques which distinguish Lygon from Prolog (see also [12, 30]) including several examples of Lygon programs. 3.1 Lygon syntax The current implementation of Lygon (Version 0.4) is an interpreter...
Cited by: More
Programming in Lygon: An Overview - Harland, Pym, Winikoff (1996) (Correct)
Proof Theory in Linear Logic: A Specification of Concurrent Objects - Delzanno (Correct)
Similar documents (at the sentence level): More
28.8%: Implementation and development Issues for the Linear Logic.. - Winikoff, Harland (1995) (Correct)
13.1%: Logic Programming with Linear Logic - Winikoff (1997) (Correct)
7.6%: Hitch Hiker's Guide to Lygon 0.7 - Winikoff (1996) (Correct)
Active bibliography (related documents): More All
0.1: On Goal-Directed Proofs in Multiple-Conclusioned.. - Harland, Lutovac.. (Correct)
0.1: Implementing the Linear Logic Programming Language Lygon - Winikoff, Harland (Correct)
0.1: Goal-Directed Proof Search in Multiple-Conclusioned.. - Harland, Lutovac.. (2000) (Correct)
Similar documents based on text: More All
0.7: Linking Agent Concepts and Methodology with CAN - Winikoff, Harland, Padgham (Correct)
0.5: Agent Negotiation as Proof Search in Linear Logic - Harland, Winikoff (2002) (Correct)
0.5: Agent-Oriented Programming in Linear Logic - Amin (1999) (Correct)
Related documents from co-citation: More All
3: Linear Objects: Logical Processes with Built-in Inheritance - Pareschi
2: Logic programming with focusing proofs in linear logic - Andreoli - 1992
2: Logic programming in a fragment of intuitionistic linear logic - Hodas, Miller - 1994
BibTeX entry: (Update)
M. Winikoff and J. A. Harland. Some Applications of the Linear Logic Programming Language Lygon. In Proocedings of the 19th Australasian Computer Science Conference, Melbourne, Australia. The MIT Press, 1996. http://citeseer.ist.psu.edu/winikoff96some.html More
@misc{ winikoff96some,
author = "M. Winikoff and J. Harland",
title = "Some Applications of the Linear Logic Programming Language Lygon",
text = "M. Winikoff and J. A. Harland. Some Applications of the Linear Logic Programming
Language Lygon. In Proocedings of the 19th Australasian Computer Science
Conference, Melbourne, Australia. The MIT Press, 1996.",
year = "1996",
url = "citeseer.ist.psu.edu/winikoff96some.html" }
Citations (may not include all citations):982 Theoretical Computer Science (context) - Girard - 1987
343 Introduction to Metamathematics (context) - Kleene - 1952
340 Uniform Proofs as a Foundation for Logic Programming (context) - Miller, Nadathur et al. - 1991
257 Logic Programming in a Fragment of Intuitionistic Linear Log.. - Hodas, Miller - 1994
223 Linear Objects: Logical Processes with Built-in Inheritance - Andreoli, Pareschi - 1990
175 Nonmonotonic Logic and Temporal Projection (context) - Hanks, MacDermott - 1987
166 An Overview of Prolog (context) - Nadathur, Miller - 1988
142 Logic Programming with Focusing Proofs in Linear Logic - Andreoli - 1992
81 A Multiple-Conclusion Meta-logic - Miller - 1994
79 A Uniform Proof-theoretic Investigation of Linear Logic Prog.. - Harland, Pym - 1994
69 calculus as a theory in linear logic: Preliminary results (context) - Miller - 1992
63 A Brief Guide to Linear Logic - Scedrov - 1993
52 The Aditi Deductive Database System - Vaghani, Ramamohanarao et al. - 1994
47 Untersuchungen uber das logische Schliessen (context) - Gentzen - 1934
32 Relevant Logic: A Philosophical Examination of Inference (context) - Read - 1988
26 Implementing the Linear Logic Programming Language Lygon Pro.. - Winikoff, Harland - 1995
15 Programming the PTQ Grammar in XSB (context) - Warren - 1994
8 ACL - A Concurrent Linear Logic Programming Paradigm (context) - Kobayash, Yonezawa - 1993
8 A Note on the Implementation and Applications of Linear Logi.. - Harland, Pym - 1994
7 Implementation and Development Issues for the Linear Logic P.. - Winikoff, Harland - 1995
Documents on the same site (http://www.cs.rmit.edu.au/lygon/papers/ABSTRACTS.html): More
Implementation and development Issues for the Linear Logic.. - Winikoff, Harland (1995) (Correct)
Programming in Lygon: An Overview - Harland, Pym, Winikoff (1995) (Correct)
Implementing the Linear Logic Programming Language Lygon - Winikoff, Harland (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