{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2024,9,5]]，“日期时间”：“2024-09-05T07:36:08Z”，“时间戳”：1725521768988}，“引用计数”：34，“发布者”：“IEEE Compute.Sco.Press”，“内容域”：{“域”：[]，“交叉标记限制”：false}，”shortcontainer-title“：[]，“内政部”：“10.1109\/lics.1991.151655”，“type”：“procesdings-article”，“created”：{“date-parts”：[2002,12,10]]，“date-time”：“2002-12-10T14:53:10Z”，“timestamp”：1039531990000}，“page”：”310-321“，“source”：《Crossref》，“is-referenced-by-count”：3，“title”：[“逻辑编程中类型和多态性的一阶理论”]，“prefix”：”10.1109“，“volume”：1“，”author“”：[{“given”：“M.”，“family”：“Kiver”，“sequence”：“first”，“affiliation”：[]}，{“key”：“ref31”，“首页”：“604”，“文章标题”：“Prolog的类型推理系统”，“author”：“xu”，“year”：“1988”，“journal-title”：“Intl Conference on Logic Programming”}，{“年份”：“0”，“key”：“ref30”}：“ref34”｝，｛“key”：“ref10”，“doi asserted by”：“publisher”，“doi”：“10.1145\/116825.116838”｝，｛“key”：“ref11”，“首页”：“1070”，“文章标题”：“逻辑编程的稳定模型语义”，“author”：“gelfond”，“year”：“1988”，“journal title”：“第五届会议和研讨会逻辑编程论文集”｝，｛“year”：“0”，“key”：“ref12”｝，｛“key”：“ref13”，“doi-asserted-by”：“publisher”，“doi”：“10.1145 \/93542.93563”}，{“key”：“ref14”，“first page”：”704“，“article-title”：“Prolog中的类型推断及其应用”，“author”：“kanamori”，“year”：“1985”，“journal-title“：”Intl Joint Conference on Artificial intelligence on Intelligation Conferences on Artific Intelligentification，{“journal-title”：“面向对象和基于框架语言的逻辑基础”，“year”：“1990”，“author”：“kifer”，“key”：“ref16”}，{“日记标题”：“逻辑编程中类型和多态性的一阶理论”，“年”：“1990”，“作者”：“kifer”“”：“ref19”，“doi-asserted-by”：“publisher”，“doi”：“10.1016\/0022-0000（78）90014-4”}，{“key”：“ref28”，“doi-asserte-by”：“crossref”，”first page“：”1“，”doi“：”10.1145\/73721.73722“，”article-title“逻辑程序与否定的交替不动点”，“author”：“van gelder”，“year”：“1989”，“journal-title”：“第20届ACM SIGMOD-SIGACT-SIGART数据库系统原理研讨会论文集”}，{“key”：“ref4”，“first-pages”：“129”，“article-title”：“Adding redundancy to get more reliable and more readable Prolog Prolog programs”，“author”：“bruynooghe”，“year”：“1982”，“journal title”：《第一届国际逻辑编程会议论文集》}，{“卷”：“1”，“日志标题”：“数据库和知识库系统原理”，“年份”：“1988”，“作者”：“ullman”，“密钥”：“ref27”}，{“key”：“ref3”，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/320064.320066”}、{“日志标题“：“逻辑编程研讨会”，“article-title”：“Prolog程序的自动模式推理”，“年”：“1986”，“author”：“debray”，“key”：“ref6”}，{“journal-title”：“实现Prolog-编译谓词逻辑程序”，“year”：“1977”，“author”：“warren”，“key”：“ref29”}，“key”：“ref5”}，{“journal-title”：“第六届以色列人工智能和计算机视觉会议”，“article-title“：“HiLog中Prolog的多态类型检查”，“year”：“1989”，“author”：“fruehwirth”，“key:”ref8“}，}”key“：”ref7“，”doi-asserted-by“：”publisher“，”doi“：”10.1007\/3-540-19027-9_6“}”，{”key:“ref2”，“doi-assert-by”：“publisher”，“内政部”：“10.1007\/BFb0012836”}，{“key”：“ref9”，“doi-asserted-by”：“publisher”，“doi”：“10.1109\/ICCL.1988.13083”}“年份”：“1984年”，“新闻标题”：“逻辑程序设计研讨会”}，{“key”：“ref22”，“doi-asserted-by”：“publisher”，“doi”：“10.1016\/0004-3702（84标题“：“北美逻辑编程会议论文集”}，{“key”：“ref23”，“doi-asserted-by”：“publisher”，“doi”：“10.1016\/B978-0-934613-40-8.50009-9”}，“作者”：“reddy”，“年份”：“1988”，“期刊标题”：“国际逻辑编程会议”}]，“活动”：{“名称”：“第六届IEEE计算机科学逻辑年度研讨会”，“地点”：“荷兰阿姆斯特丹”}，“容器标题”：[“[1991]第六届IEEE计算机科学逻辑年度研讨会论文集”]，“原标题”：[]，“链接”：[{“URL”：“http://\/xplorestaging.ieee.org\/ielx2\/360\/3979\/00151655.pdf？arnumber=151655”，“内容类型”：“未指定”，“content-version”：“vor”，“intended-application”：“相似性检查”}]，“存放”：{“日期部分”：[[2017,6,15]]，“日期时间”：“2017-06-15T11:41:45Z”，“时间戳”：1497526905000}，“分数”：1，“资源”primary“：{”URL“：“http://\/ieeexplore.iee.org\/document\/151655\/”}}，“副标题”：[]，“短标题”：[]，“已发布”：{“日期部分”：[[null]]}，”引用计数“：34，”URL“：”http://\/dx.doi.org\/10.109\/lics.1991.151655“，”关系“：{}，‘主题’：[]}