×

SICStus公司

swMATH ID: 12440
软件作者： 马特斯·卡尔森，佩尔·米尔德纳
说明： SICStus Prolog已经发展了近25年。这是重新审视主要语言和设计决策的适当时间点，并尝试提取一些经验教训。SICStus Prolog是在多个相互冲突的Prolog方言阵营和刚刚起步的标准化努力的背景下构思的。我们反思了这种努力和角色模型实现对我们开发的影响。在总结了开发历史之后，我们对系统剖析进行了一次有指导的巡视，展示了一些以前没有发布过的设计。我们概述了我们新的交互式开发环境，并描述了关键应用程序的示例。最后，我们尝试确定关键的好的和不太好的设计决策。
主页： https://sicstus.sics.se网站/
相关软件： SWI序言;Ciao公司;XSB公司;序言;B-序言;YAP Prolog公司;CiaoPP公司;欧兹;CPLEX公司;水银;Gecode公司;斯莫德尔斯;迷你锌;炸薯条;项目B;CSPLib数据库;GHC公司;帕洛;OPTYap公司;clpfd公司
引用于： 94文件
全部的 前5名

180位作者引用

8 卡尔森，Mats
7 尼古拉斯·贝尔迪塞努
7 曼努埃尔五世（Manuel V.Hermenegildo）。
5 维托尔·桑托斯·科斯塔
4 Michael Leuschel先生
三 丹尼尔·卡贝扎
三 克莱尔·狄克逊
三 恩里科·蓬泰利
三 里卡多·罗查
2 Khayri A.M.阿里。
2 马塞洛·巴尔杜奇尼
2 玛丽亚·安托尼亚·卡拉维拉
2 Cheng，Kenil C.K。
2 索米亚·德布雷。
2 拉斐尔·德尔瓦多·维塞达
2 弗朗索瓦·法赫斯
2 安德烈亚·福米萨诺
2 艾伦·M·弗里希。
2 戈帕尔·古普塔
2 赫尼奇，卜拉欣
2 雅各布·M·豪。
2 罗兰·卡尔森
2 安迪·金
2 克孜尔坦、泽内普
2 菲利普·科纳
2 尤利亚·利勒
2 伊恩·米格尔
2 何塞·弗朗西斯科·莫拉莱斯
2 蒂埃里·佩蒂特
2 克里斯蒂娜·里贝罗
2 马里奥·罗德里格斯-阿塔莱霍
2 汤姆·施里杰弗斯
2 克里斯蒂安·舒尔特
2 费尔南多·席尔瓦
2 彼得·詹姆斯·斯塔基
2 塔克，吉多
2 马库斯·特里斯卡
2 托比·沃尔什
2 罗兰·H·C·雅普。
1 萨尔瓦多阿布雷乌
1 艾尔维拉·阿尔伯特
1 阿尔梅德罗斯-吉梅内斯，杰苏斯·曼努埃尔
1 塔博尔·阿尔斯万尼
1 弗朗西斯科·阿泽夫多
1 罗伯托·巴格纳拉
1 霍华德·巴林格
1 安东尼奥·贝塞拉·特隆
1 拉尔夫·贝克特
1 Jens Bendisposto公司
1 费德里科·贝根蒂
1 彼得·比戈（Peter A.Bigot）。
1 米克尔波菲尔
1 卢卡·博托卢西
1 约翰·博伊
1 布罗达，Krysia B。
1 雅克·卡利埃（Jacques G.Carlier）。
1 曼纽尔·卡罗
1 阿马迪奥·卡萨斯
1 海宁·克里斯蒂安森
1 保罗·西安卡里尼
1 安吉洛·E·M·齐亚里尼。
1 乔瓦尼·西亚托
1 弗朗索瓦·克劳提奥
1 托马斯·奥利弗·康威
1 曼努埃尔·爱德华多·科雷亚
1 阿戈斯蒂诺·科尔特斯
1 崔宝秋
1 库欣，大卫
1 维罗妮卡·达尔
1 亚历山德罗·达尔·帕洛
1 路易斯·达马斯
1 德博舍尔，科恩
1 罗穆拉德·德布鲁恩
1 巴特·德梅恩
1 德索特，贝诺特
1 丹尼尔·迪亚兹
1 狄更斯，卢克
1 尼娜·多尔
1 雷米·杜伦斯
1 阿戈斯蒂诺·多维尔
1 德拉本特，Włodzimierz
1 扬尼克·邓克劳
1 索尼娅·埃斯特韦兹·马汀
1 桑德罗·埃塔利
1 安东尼奥·J·费尔南德斯。
1 朱利安·菲舍尔
1 迈克尔·费希尔
1 Flener，皮埃尔
1 Markus P.J.Fromherz。
1 安东尼奥·弗塔多。
1 盖尔·乌斯，大卫
1 迈克尔·盖尔芬德
1 米盖尔·戈梅斯·扎马洛亚
1 罗伯塔·戈里
1 丹尼尔·卡贝扎（Daniel Cabeza），格拉斯（Gras）
1 大卫·古德曼
1 费卢西奥·圭迪
1 弗格斯·亨德森
1 帕特里夏·M·希尔。
1 克里斯蒂安·霍尔兹鲍尔
…还有80多位作者
全部的 前5名

28篇连载文章中引用

15 逻辑程序设计理论与实践
13 约束条件
6 逻辑程序设计杂志
4 新一代计算
三 理论计算机科学
三 计算机与运筹学
三 数学与人工智能年鉴
2 人工智能
2 运筹学年鉴
1 计算数学
1 信息科学
1 国际工程数值方法杂志
1 软件。实践与经验
1 计算机程序设计科学
1 符号计算杂志
1 国际并行程序设计杂志
1 信息与计算
1 国际近似推理杂志
1 计算的形式方面
1 吉泰。实验与理论人工智能杂志
1 MSCS公司。计算机科学中的数学结构
1 系统设计中的形式化方法
1 应用非经典逻辑杂志
1 聚氨基甲酸酯。纯数学与应用硕士
1 运筹学国际交易
1 高阶和符号计算
1 计算机基础理论
1 计算机科学课堂讲稿
全部的 前5名

在12个字段中引用

85 计算机科学（68至XX）
13 运筹学、数学规划（90-XX）
5 数学逻辑和基础（03-XX）
三 组合数学（05-XX）
2 统计学（62-XX）
1 非结合环和代数（17-XX）
1 数值分析（65-XX）
1 可变形固体力学（74-XX）
1 流体力学（76-XX）
1 经典热力学，传热（80-XX）
1 生物学和其他自然科学（92-XX）
1 信息与通信理论、电路（94-XX）

按年份列出的引文