Translating relational programs into Prolog

被引：0
|
作者：
Dwyer, B [1 ]
机构：
[1] Univ Adelaide, Dept Comp Sci, Adelaide, SA 5005, Australia
来源：
RELATIONAL METHODS FOR COMPUTER SCIENCE APPLICATIONS | 2001年 / 65卷
关键词：
programming languages; relational programming; programming language translators; Prolog; binary relations; higher-order relations;
D O I：
暂无
中图分类号：
TP39 [计算机的应用];
学科分类号：
081203 ; 0835 ;
摘要：
The binary relation algebra has operators that correspond to well-known programming constructs. As a result, it is to possible base useful programming languages on it. An earlier paper by the author described such a language. Since Prolog predicates define relations between variables, Prolog is often considered to be a relational language. In fact, there are several straight-forward translations from relation algebra expressions to Prolog rules. This paper explores this idea in depth, showing how relation algebra can be translated into Prolog.
引用
收藏
页码：15 / 35
页数：21
相关论文
共 50 条
  • [1] TRANSLATING RELATIONAL QUERIES INTO ITERATIVE PROGRAMS
    FREYTAG, JC
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1987, 261 : 1 - 131
  • [2] TRANSLATING ALGEBRAIC SPECIFICATIONS TO PROLOG PROGRAMS - A COMPARATIVE-STUDY
    DROSTEN, K
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1988, 343 : 137 - 146
  • [3] Translating a 'Prolog'
    Kent, Jean
    [J]. MEANJIN, 2012, 71 (04): : 56 - 57
  • [4] Translating LPOD and CR-Prolog2 into standard answer set programs
    Lee, Joohyung
    Yang, Zhun
    [J]. THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2018, 18 (3-4) : 589 - 606
  • [5] Translating OWL and semantic web rules into prolog: Moving toward description logic programs
    Samuel, Ken
    Obrst, Leo
    Stoutenberg, Suzette
    Fox, Karen
    Franklin, Paul
    Johnson, Adrian
    Laskey, Ken
    Nichols, Deborah
    Lopez, Steve
    Peterson, Jason
    [J]. THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2008, 8 : 301 - 322
  • [6] Improving prolog programs: Refactoring for prolog
    Serebrenik, Alexander
    Schrijvers, Tom
    Demoen, Bart
    [J]. THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2008, 8 (02) : 201 - 215
  • [7] Improving Prolog programs: Refactoring for prolog
    Schrijvers, T
    Serebrenik, A
    [J]. LOGIC PROGRAMMING, PROCEEDINGS, 2004, 3132 : 58 - 72
  • [8] PROLOG - RELATIONAL DATABASE INTERFACES
    LUCAS, RJ
    [J]. INFORMATION AND SOFTWARE TECHNOLOGY, 1991, 33 (10) : 734 - 740
  • [9] Translating description logic queries to Prolog
    Nagy, Z
    Lukácsy, G
    Szeredi, P
    [J]. PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, 2006, 3819 : 168 - 182
  • [10] PROFILING PROLOG PROGRAMS
    DEBRAY, SK
    [J]. SOFTWARE-PRACTICE & EXPERIENCE, 1988, 18 (09): : 821 - 839
12345