Christoph Beierle, Stefan Böttcher, Gregor Meyer  Home/Search
Context Related
| fernunihagen.de/pub/fa...protosl.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: informatik.fernunih...protos_lit (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: : PROTOS-L is a language based on logic programming that integrates a variety of concepts for programming large knowledge based systems like a powerful type concept, a module concept, high-level access to external relational databases, and finite domain constraints. The type concept covers user defined sorts, subsort relationships supporting multiple inheritance and parameterized sorts in the form of polymorphism. In addition to relations, also user-defined functions are available. The module... (Update)
Context of citations to this paper: More
.... implemented in a logic language with polymorphism and subtypes (e.g. production planning systems implemented with the PROTOS L system [BBM94, MB94]) shows that there is seldom any use of complex type constraints, such as X:list(pair(nat,negint) other than making a clause...
Cited by: More
On the Use of Types in Logic Programming - Meyer (1996) (Correct)
Active bibliography (related documents): More All
1.2: Correctness proof for the WAM with types - Beierle, Börger (1992) (Correct)
0.9: Specification and correctness proof of a WAM extension with.. - Beierle, Börger (1996) (Correct)
0.8: Logic Programming over Polymorphically Order-Sorted Types - Smolka (1989) (Correct)
Similar documents based on text: More All
0.3: Refinement of a typed WAM extension by polymorphic.. - Beierle, Börger (1996) (Correct)
0.3: Defining Standard Prolog in Rewriting Logic - Kulas, Beierle (2000) (Correct)
0.2: Type Inferencing for Polymorphic Order-Sorted Logic Programs - Beierle (1995) (Correct)
BibTeX entry: (Update)
C. Beierle, S. Bottcher, and G. Meyer. Report of the Logic Programming Language PROTOS-L (revised version). Working Paper No 4, IBM Germany, Scientific Center, Inst. for Logics and Linguistics, Heidelberg, July 1994. http://citeseer.ist.psu.edu/beierle94report.html More
@misc{ beierle94report,
author = "C. Beierle and S. Bottcher and G. Meyer",
title = "Report of the Logic Programming Language PROTOS-L",
text = "C. Beierle, S. Bottcher, and G. Meyer. Report of the Logic Programming
Language PROTOS-L (revised version). Working Paper No 4, IBM Germany, Scientific
Center, Inst. for Logics and Linguistics, Heidelberg, July 1994.",
year = "1994",
url = "citeseer.ist.psu.edu/beierle94report.html" }
Citations (may not include all citations):395 An Abstract PROLOG Instruction Set (context) - Warren - 1983
204 Magic Sets and other strange ways to implement logic program.. (context) - Bancilhon, Maier et al. - 1986
147 An Amateur's Introduction to Recursive Query Processing Stra.. (context) - Bancilhon, Ramakrishnan - 1986
109 A polymorphic type system for Prolog (context) - Mycroft, O'Keefe - 1984
82 Principles of OBJ (context) - Futatsugi, Goguen et al. - 1985
61 Logic Programming over Polymorphically Order-Sorted Types - Smolka - 1989
48 and generic modules for logic programming (context) - Goguen, Meseguer et al. - 1986
35 Combinatorial problem solving in constraint logic programmin.. (context) - Beringer, De Backer - 1994
31 Horn clause programs with polymorphic types: Semantics and r.. (context) - Hanus - 1989
24 Surveys in Computer Science (context) - Ceri, Gottlob et al. - 1990
22 International Business Machines Corporation (context) - Prolog, Language - 1989
17 A mechanical solution of Schubert's steamroller by manysorte.. (context) - Walther - 1985
16 A polymorphic type system with subtypes for Prolog (context) - Dietrich, Hagl - 1988
16 Many-sorted unification (context) - Walther - 1988
15 Logic programming with polymorphically order-sorted types (context) - Smolka - 1988
14 From QSQ towards QoSaQ: Global Optimization of Recursive Que.. (context) - Vieille - 1988
14 SEKI-Report SR (context) - Smolka, Version et al. - 1988
12 Run-time type computations in the Warren Abstract Machine (context) - Beierle, Meyer - 1994
12 Parallel Processing of Recursive Queries in Distributed Arch.. (context) - Hulin - 1989
10 Report ECS-LFCS (context) - Harper, MacQueen et al. - 1986
10 Correctness proof for the WAM with types - Beierle, Borger - 1992
9 the evaluation strategy of EDUCE (context) - Bocca - 1986
9 Extending the Warren Abstract Machine to polymorphic order-s.. (context) - Beierle, Meyer et al. - 1991
6 Logic programming with typed unification and its realization.. (context) - Beierle - 1992
6 Extended Prolog for order-sorted resolution (context) - Huber, Varsek - 1987
4 Knowledge representation in LILOG (context) - Pletat, Luck - 1990
3 Horn Clause Specifications with Polymorphic Types (context) - Hanus - 1988
3 Database Technology for Expert Systems (context) - Bayer - 1985
3 Draft report of the logic programming language PROTOS-L (context) - Beierle, Bottcher et al. - 1991
2 for Logics and Linguistics (context) - Meyer, Beierle et al. - 1994
2 Extension of an abstract machine for order-sorted prolog to .. (context) - Semle - 1989
2 modules and databases in the logic programming language PROT.. (context) - Beierle - 1990
1 University of Bristol (context) - Hill, Lloyd et al. - 1992
1 The knowledge representation language L-LILOG (context) - Beierle, Dorre et al. - 1989
1 Data base support for the PROTOS-L system (context) - Bottcher, Beierle - 1989
1 EWH Koblenz und IBM Deutschland GmbH (context) - Hauner, for et al. - 1989
1 Naive Evaluation of Recursive Defined Relations (context) - Bancilhon - 1986
1 How to use PROTOS-L as a logic-based database programming la.. (context) - Bottcher - 1990
1 Graphical user interface for the PROTOS-L system (context) - Schenk - 1991
1 Aspects of coupling logic programming and databases (context) - Meyer, Beierle et al. - 1994
1 Extension of a compiler for PROTOS-L by a module concept (context) - Zeller - 1990
1 Rule evaluation on databases in the PROTOS-L system (context) - Meyer - 1989
1 Functional and Logic Programming (context) - DeGroot, Lindstrom - 1986
1 An example for knowledge based production planning with PROT.. (context) - Wittmann - 1991
1 Towards a knowledge base programming language (context) - Beierle, Bottcher - 1989
1 Universitat Kaiserslautern (context) - Nutt, Smolka et al. - 1993
1 A logic-based programming environment for interactive applic.. (context) - Jasper - 1991
1 Knowledge Based and Database Systems: Enhancements (context) - Vassiliou - 1986
Documents on the same site (http://www.informatik.fernuni-hagen.de/import/pi8/lit/protos_lit.html):
Specification and correctness proof of a WAM extension with.. - Beierle, Börger (1996) (Correct)
Type Inferencing for Polymorphic Order-Sorted Logic Programs - Beierle (1995) (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