PREDICATES OF PREDICATES IN PROLOG - WHAT LOGICAL SEMANTICS MEETS THE NEEDS OF SUCH CONSTRUCTIONS

被引：0
|
作者：
BORSHCHEV, VB [1 ]
机构：
[1] VINITI,MOSCOW,RUSSIA
来源：
PROGRAMMING AND COMPUTER SOFTWARE | 1994年 / 20卷 / 02期
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：76 / 79
页数：4
相关论文
共 50 条
  • [1] A LOGICAL OPERATIONAL SEMANTICS OF FULL PROLOG .2. BUILT-IN PREDICATES FOR DATABASE MANIPULATIONS
    BORGER, E
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1990, 452 : 1 - 14
  • [2] CONSTRUCTIONS AND PREDICATES
    PAVLOVIC, D
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1991, 530 : 173 - 196
  • [3] Logical Predicates in Higher-Order Mathematical Operational Semantics
    Goncharov, Sergey
    Santamaria, Alessio
    Schroeder, Lutz
    Tsampas, Stelios
    Urbat, Henning
    [J]. FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, PT II, FOSSACS 2024, 2024, 14575 : 47 - 69
  • [4] What Tipper is Ready for: A Semantics for Incomplete Predicates
    Gauker, Christopher
    [J]. NOUS, 2012, 46 (01): : 61 - 85
  • [5] Predicates of Taste and Their Semantics
    Zouhar, Marian
    [J]. FILOZOFIA, 2012, 67 (07): : 518 - 529
  • [6] The context and semantics of predicates
    Zouhar, Marian
    [J]. FILOSOFICKY CASOPIS, 2011, 59 (02): : 187 - 205
  • [7] ON SEMANTICS OF COMPARATIVE PREDICATES
    Borisov, E., V
    [J]. VESTNIK TOMSKOGO GOSUDARSTVENNOGO UNIVERSITETA-FILOSOFIYA-SOTSIOLOGIYA-POLITOLOGIYA-TOMSK STATE UNIVERSITY JOURNAL OF PHILOSOPHY SOCIOLOGY AND POLITICAL SCIENCE, 2013, 22 (02): : 219 - +
  • [8] Indirect Predicates for Geometric Constructions
    Attene, Marco
    [J]. COMPUTER-AIDED DESIGN, 2020, 126
  • [9] ON SEMANTICS OF COMPARATIVE PREDICATES II
    Borisov, Evgeny, V
    [J]. VESTNIK TOMSKOGO GOSUDARSTVENNOGO UNIVERSITETA-FILOSOFIYA-SOTSIOLOGIYA-POLITOLOGIYA-TOMSK STATE UNIVERSITY JOURNAL OF PHILOSOPHY SOCIOLOGY AND POLITICAL SCIENCE, 2015, 30 (02): : 208 - 213
  • [10] The semantics of mass-predicates
    Koslicki, K
    [J]. NOUS, 1999, 33 (01): : 46 - 91
12345