user

HIGHER-ORDER LOGIC PROGRAMMING

被引：0
|
作者：
MILLER, DA
NADATHUR, G
机构：
来源：
JOURNAL OF SYMBOLIC LOGIC | 1986年 / 51卷 / 03期
关键词：
D O I：
暂无
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
引用
收藏
页码：851 / 851
页数：1
相关论文
共 50 条
  • [21] Towards a logic programming methodology based on higher-order predicates
    Andreas Hamfelt
    Jørgen Fischer Nilsson
    New Generation Computing, 1997, 15 : 421 - 447
  • [22] IMPLEMENTING TACTICS AND TACTICALS IN A HIGHER-ORDER LOGIC PROGRAMMING LANGUAGE
    FELTY, A
    JOURNAL OF AUTOMATED REASONING, 1993, 11 (01) : 43 - 81
  • [23] Proof-theoretic and higher-order extensions of logic programming
    Momigliano A.
    Ornaghi M.
    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2010, 6125 : 254 - 270
  • [24] AL-KHOWARIZMI - A FORMAL SYSTEM FOR HIGHER-ORDER LOGIC PROGRAMMING
    ABDALLAH, MAN
    LECTURE NOTES IN COMPUTER SCIENCE, 1986, 233 : 545 - 553
  • [25] Minimum Model Semantics for Extensional Higher-order Logic Programming with Negation
    Charalambidis, Angelos
    Esik, Zoltan
    Rondogiannis, Panos
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2014, 14 : 725 - 737
  • [26] Higher-Order Logic Programming: an Expressive Language for Representing Qualitative Preferences
    Charalambidis, Angelos
    Rondogiannis, Panos
    Troumpoukis, Antonis
    PROCEEDINGS OF THE 18TH INTERNATIONAL SYMPOSIUM ON PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING (PPDP 2016), 2016, : 24 - 37
  • [27] Cooperation of Algebraic Constraint Domains in Higher-Order Functional and Logic Programming
    del Vado Virseda, Rafael
    ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY, 2011, 6486 : 180 - 200
  • [28] Higher-order logic programming: An expressive language for representing qualitative preferences
    Charalambidis, Angelos
    Rondogiannis, Panos
    Troumpoukis, Antonis
    SCIENCE OF COMPUTER PROGRAMMING, 2018, 155 : 173 - 197
  • [29] A BOTTOM-UP INTERPRETER FOR A HIGHER-ORDER LOGIC PROGRAMMING LANGUAGE
    HOA, AHB
    LECTURE NOTES IN COMPUTER SCIENCE, 1992, 631 : 326 - 340
  • [30] A proof-theoretic foundation for tabled higher-order logic programming
    Pientka, B
    LOGICS PROGRAMMING, PROCEEDINGS, 2002, 2401 : 271 - 286
12345