DESIGN AND IMPLEMENTATION OF A CONCURRENT LOGIC PROGRAMMING LANGUAGE WITH LINEAR LOGIC CONSTRAINTS

被引：0
|
作者：
Martinez, Thierry [1 ]
机构：
[1] INRIA Paris Rocquencourt, EPI Contraintes, BP105, F-78153 Le Chesnay, France
来源：
TECHNICAL COMMUNICATIONS OF THE 26TH INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING (ICLP'10) | 2010年 / 7卷
关键词：
D O I：
10.4230/LIPIcs.ICLP.2010.277
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：277 / 280
页数：4
相关论文
共 50 条
  • [41] ENGLISH AS A LOGIC PROGRAMMING LANGUAGE
    KOWALSKI, R
    NEW GENERATION COMPUTING, 1990, 8 (02) : 91 - 93
  • [42] A visual logic programming language
    Puigsegur, J
    Agusti, J
    Robertson, D
    IEEE SYMPOSIUM ON VISUAL LANGUAGES, PROCEEDINGS, 1996, : 214 - 221
  • [43] Bousi-Prolog: Design and implementation of a proximity-based fuzzy logic programming language
    Julian-Iranzo, Pascual
    Saenz-Perez, Fernando
    EXPERT SYSTEMS WITH APPLICATIONS, 2023, 213
  • [44] Logic Design as an Enabler to Python']Python Programming Language Teaching
    Velaora, Chrysoula
    Kakarountas, Athanasios
    2019 PANHELLENIC CONFERENCE ON ELECTRONICS AND TELECOMMUNICATIONS (PACET2019), 2019, : 71 - 76
  • [45] Object logic integration: a multiparadigm design methodology and a programming language
    Lee, JHM
    Pun, PKC
    COMPUTER LANGUAGES, 1997, 23 (01): : 25 - 42
  • [46] Declarative priority in a concurrent logic language ON
    Hirata, K
    Yamazaki, K
    LOGIC PROGRAMMING: PROCEEDINGS OF THE 1999 INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING, 1999, : 215 - 229
  • [47] On concurrent behaviors and focusing in linear logic
    Olarte, Carlos
    Pimentel, Elaine
    THEORETICAL COMPUTER SCIENCE, 2017, 685 : 46 - 64
  • [48] The CIFF proof procedure for abductive logic programming with constraints: Theory, implementation and experiments
    Mancarella, Paolo
    Terreni, Giacomo
    Sadri, Fariba
    Toni, Francesca
    Endriss, Ulle
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2009, 9 : 691 - 750
  • [49] OBJECTS IN CONCURRENT LOGIC PROGRAMMING-LANGUAGES
    KAHN, K
    TRIBBLE, ED
    MILLER, MS
    BOBROW, DG
    SIGPLAN NOTICES, 1986, 21 (11): : 242 - 257
  • [50] SECONDARY STORAGE IN A CONCURRENT LOGIC PROGRAMMING ENVIRONMENT
    KUSALIK, AJ
    JOURNAL OF SYSTEMS AND SOFTWARE, 1990, 11 (01) : 31 - 44
12345