SEPIA - A BASIS FOR PROLOG EXTENSIONS

被引：0
|
作者：
MEIER, M
机构：
来源：
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE | 1992年 / 624卷
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
引用
收藏
页码：490 / 492
页数：3
相关论文
共 50 条
  • [31] Tau Prolog: A Prolog Interpreter for the Web
    Riaza, Jose A.
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2024, 24 (01) : 1 - 21
  • [32] Improving prolog programs: Refactoring for prolog
    Serebrenik, Alexander
    Schrijvers, Tom
    Demoen, Bart
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2008, 8 (02) : 201 - 215
  • [33] PROLOG/V - PROLOG IN THE SMALLTALK ENVIRONMENT
    LAZAREV, GL
    DR DOBBS JOURNAL, 1988, 13 (11): : 68 - &
  • [34] Parametric polymorphism for typed prolog and λ-prolog
    Lect Notes Comput Sci, (47):
  • [35] Tau Prolog: A Prolog Interpreter for the Web
    Department of Computing Systems, University of Castilla-La Mancha, Albacete
    02071, Spain
    Theory Pract. Logic Programm., 1600,
  • [36] Description of Vibrio alginolyticus infection in cultured Sepia officinalis, Sepia apama, and Sepia pharaonis
    Sangster, CR
    Smolowitz, RM
    BIOLOGICAL BULLETIN, 2003, 205 (02): : 233 - 234
  • [37] Improving Prolog programs: Refactoring for prolog
    Schrijvers, T
    Serebrenik, A
    LOGIC PROGRAMMING, PROCEEDINGS, 2004, 3132 : 58 - 72
  • [38] Recovering sparse networks: Basis adaptation and stability under extensions
    Novaes, Marcel
    dos Santos, Edmilson Roque
    Pereira, Tiago
    PHYSICA D-NONLINEAR PHENOMENA, 2021, 424
  • [39] Tau Prolog: A Prolog interpreter for the Web
    Valverde, José Antonio Riaza
    arXiv, 2023,
  • [40] 'PROLOG'
    BRAUN, V
    THEATER DER ZEIT, 1989, 44 (12): : 9 - 9
12345