{log}: a language for programming in logic with finite sets

被引：0
|
作者：
Universita di Parma, Parma, Italy [1 ]
机构：
来源：
J Logic Program | / 1卷 / 1-44期
关键词：
PROOF OF THEOREM 5.6. If P ~set (-~G~) v; then P U {(G~) v} is unsatisfiable. Let V be a ground substitution acting on the (free) variables of G ~. Then P U {G ~°~ } is unsatisfiable. By Lemma 5.5; there exists a refutation for G °°7 in P and; therefore; by Lemma 5.3; G has a refutation in P. [] This work originated from a project named AXL; funded by ENI and ENIDATA; Partial support came from the Italian National Research Council (CNR grants 94.00472.CT12 and 95.00502.CT12) and from Compulog-2 (Esprit project 6810). Enrico Pontelli was partially supported by NSF Grant CCR 92-11732 and by a fellowship from Phillips Petroleum;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
55
引用
收藏
相关论文
共 50 条
  • [41] NATURAL-LANGUAGE PROCESSING AND LOGIC PROGRAMMING
    DAHL, V
    JOURNAL OF LOGIC PROGRAMMING, 1994, 20 (1-3): : 681 - 714
  • [42] Natural language programming - And state logic control
    Chambers, W
    1996 PROCESS CONTROL ELECTRICAL & INFORMATION CONFERENCE, 1996, : 179 - 182
  • [43] GOLOG: A logic programming language for dynamic domains
    Levesque, HJ
    Reiter, R
    Lesperance, Y
    Lin, FZ
    Scherl, RB
    JOURNAL OF LOGIC PROGRAMMING, 1997, 31 (1-3): : 59 - 83
  • [44] A PROGRAMMING LOGIC FOR A VERIFIED STRUCTURED ASSEMBLY LANGUAGE
    CURZON, P
    LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 624 : 403 - 408
  • [45] STRUCTURED PROLOG - A LANGUAGE FOR STRUCTURED LOGIC PROGRAMMING
    GIORDANO, L
    MARTELLI, A
    ROSSI, G
    SOFTWARE-CONCEPTS AND TOOLS, 1994, 15 (03): : 125 - 145
  • [46] Using a logic programming language with persistence and contexts
    Abreu, Salvador
    Nogueira, Vitor
    DECLARATIVE PROGRAMMING FOR KNOWLEDGE MANAGEMENT, 2006, 4369 : 38 - +
  • [47] LPG - A GENERIC, LOGIC AND FUNCTIONAL PROGRAMMING LANGUAGE
    BERT, D
    DRABIK, P
    ECHAHED, R
    LECTURE NOTES IN COMPUTER SCIENCE, 1987, 247 : 468 - 469
  • [48] PARAMETRIC COMPOSABLE MODULES IN A LOGIC PROGRAMMING LANGUAGE
    LAMMA, E
    MELLO, P
    ROSSI, G
    COMPUTER LANGUAGES, 1993, 18 (02): : 105 - 123
  • [49] LOGIC PROGRAMMING WITH FUNCTIONS AND PREDICATES - THE LANGUAGE BABEL
    MORENONAVARRO, JJ
    RODRIGUEZARTALEJO, M
    JOURNAL OF LOGIC PROGRAMMING, 1992, 12 (03): : 191 - 223
  • [50] NETLOG - A CONCEPT ORIENTED LOGIC PROGRAMMING LANGUAGE
    VOINOV, AV
    LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 624 : 357 - 368
12345