ENGLISH AS A LOGIC PROGRAMMING LANGUAGE

被引：5
|
作者：
KOWALSKI, R
机构：
来源：
NEW GENERATION COMPUTING | 1990年 / 8卷 / 02期
关键词：
D O I：
10.1007/BF03037468
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：91 / 93
页数：3
相关论文
共 50 条
  • [1] A visual logic programming language
    Puigsegur, J
    Agusti, J
    Robertson, D
    [J]. IEEE SYMPOSIUM ON VISUAL LANGUAGES, PROCEEDINGS, 1996, : 214 - 221
  • [2] USE OF ENGLISH AS A PROGRAMMING LANGUAGE
    SAMMET, JE
    [J]. COMMUNICATIONS OF THE ACM, 1966, 9 (03) : 228 - &
  • [3] TEMPORAL LOGIC PROGRAMMING LANGUAGE TOKIO PROGRAMMING IN TOKIO
    AOYAGI, T
    FUJITA, M
    MOTOOKA, T
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1986, 221 : 128 - 137
  • [4] THE PROGRAMMING LANGUAGE GCLA - A DEFINITIONAL APPROACH TO LOGIC PROGRAMMING
    ARONSSON, M
    ERIKSSON, LH
    GAREDAL, A
    HALLNAS, L
    OLIN, P
    [J]. NEW GENERATION COMPUTING, 1990, 7 (04) : 381 - 404
  • [5] Formal verification of a programming logic for a distributed programming language
    Zhang, C
    Olsson, RA
    Levitt, KN
    [J]. THEORETICAL COMPUTER SCIENCE, 1999, 216 (1-2) : 213 - 235
  • [6] Logic programming for processing natural language
    Dahl, V
    [J]. LOGIC PROGRAMMING - PROCEEDINGS OF THE 1997 INTERNATIONAL SYMPOSIUM, 1997, : 41 - 42
  • [7] PROLOG - A LANGUAGE FOR PROGRAMMING MEDICAL LOGIC
    SHIFMAN, M
    JELOVSEK, FR
    [J]. M D COMPUTING, 1988, 5 (02): : 36 - &
  • [8] SEMANTICS OF PREDICATE LOGIC AS A PROGRAMMING LANGUAGE
    VANEMDEN, MH
    KOWALSKI, RA
    [J]. JOURNAL OF THE ACM, 1976, 23 (04) : 733 - 742
  • [9] LMNtal as a hierarchical logic programming language
    Ueda, Kazunori
    [J]. THEORETICAL COMPUTER SCIENCE, 2009, 410 (46) : 4784 - 4800
  • [10] A framed temporal logic programming language
    Duan, ZH
    Koutny, M
    [J]. JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2004, 19 (03) : 341 - 351
12345