腾讯云
开发者社区
文档
建议反馈
控制台
登录/注册
首页
学习
活动
专区
工具
TVP
最新优惠活动
文章/答案/技术大牛
搜索
搜索
关闭
发布
精选内容/技术社群/优惠产品,
尽在小程序
立即前往
文章
问答
(9999+)
视频
沙龙
1
回答
什么是提交-选择
逻辑
编程
语言
?
、
、
、
在
逻辑
编程
界,我听过很多人谈论过“提交选择
逻辑
编程
语言
”,但我对它的定义并不十分清楚。我搜索了互联网,但没有找到正式的答案(似乎与并发
逻辑
编程
有关?)“提交选择
逻辑
编程
语言
”仅仅意味着“纯
逻辑
编程
语言
”加上一些不纯的运算符,例如Prolog中的!、*->、once?谢谢。
浏览 7
提问于2021-11-21
得票数 3
2
回答
支持unicode
逻辑
运算符的
语言
、
、
是否有任何支持使用unicode
逻辑
运算符的
编程
语言
?例如,许多
编程
语言
使用"!=“作为”不相等“操作符,但在数学中,符号是"≠”。既然unicode现在更标准化了,为什么
编程
语言
不支持它们作为
逻辑
运算符的使用呢?很多符号都在我的键盘上,我只按了alt键。
浏览 0
提问于2013-11-06
得票数 8
回答已采纳
1
回答
并发并行
逻辑
编程
、
、
、
、
在Prolog艺术介绍中,斯特林和夏皮罗将并行性、并发性和
逻辑
编程
的讨论推迟到另一本书。我的问题是,是否有这样的资源: 并行计算机的前景,加上
逻辑
编程
模型中似乎可用的并行性,导致了无数次尝试,这些尝试仍在进行中,以并行方式执行Prolog,并根据
逻辑
编程
计算模型设计新的并发
编程
语言
。但是,很难在该段的第二部分找到资源,即基于
逻辑
编程
语言
的执行模型的并发
编程
和
编程
浏览 2
提问于2014-03-07
得票数 0
回答已采纳
1
回答
跨不同
编程
语言
共享公共业务
逻辑
的策略
、
、
、
有了一个在Visual Dataflex中实现了复杂业务
逻辑
的单片业务应用程序,我们面临着跨
编程
语言
维护业务
逻辑
的挑战,因为某些功能是用其他
编程
语言
(主要是.NET)编写的。因此,我正在寻找跨不同
编程
语言
实现“同步”业务
逻辑
的策略,以避免不匹配。避免重复是一个优势,但这可以通过自动化测试来弥补。 编辑: SOA是一个很好的建议。但是,如果服务不够快,该怎么办呢?
浏览 15
提问于2009-05-05
得票数 4
3
回答
除了Caledon之外,还有其他基于haskell的HOL
编程
语言
吗?
、
、
有基于高阶
逻辑
(HOL)的
编程
语言
和定理证明器。例如、、。例如,12 is既是一种
编程
语言
,也是一种定理证明器,而Isabelle主要是一种定理证明器,但是对于Isabelle来说,代码提取是可用的。 Caledon是一种依赖类型、多态、高阶
逻辑
编程
语言
。(顺便说一
浏览 3
提问于2015-01-09
得票数 7
回答已采纳
7
回答
编程
知识与
编程
逻辑
、
、
我见过一些公司要求良好的
编程
知识,一些好的
编程
逻辑
。编辑:应用程序组件的选择、验证用户输入的界面设计是否属于
编程
知识或
编程
逻辑</e
浏览 0
提问于2012-07-05
得票数 10
1
回答
ZPL if语句
、
我有一台打印机,我可以用ZPL
编程
语言
将标签发送到它。 我正在尝试做的是有一个条件语句,其中它将显示条形码,只有当传入的标签为真时。
浏览 0
提问于2015-07-01
得票数 0
1
回答
使用:=和=进行赋值
、
我想知道为什么一些
编程
语言
使用:=,而一些
编程
语言
使用=进行赋值?它们之间的一些
逻辑
差异是什么?
浏览 6
提问于2021-09-28
得票数 1
2
回答
为什么函数式
编程
语言
需要垃圾收集?
、
根据维基百科的说法,从lambda微积分到组合
逻辑
的翻译是微不足道的。Concatenative
编程
语言
可以完全依赖堆栈进行内存分配。是什么阻止GHC将Haskell转换为级联
编程
语言
(例如组合
逻辑
),然后简单地使用堆栈分配来实现一切呢? 这样做是否可行,从而消除诸如Haskell和OCaml等
语言
的垃圾收集?这样做有什么坏处吗?
浏览 3
提问于2016-09-11
得票数 17
回答已采纳
2
回答
ESB服务与使用
语言
的服务
、
、
、
现在,我们的一位经理告诉我们,大企业没有使用任何
编程
语言
/框架来编写业务
逻辑
/规则,而是使用企业服务总线( enterprise,ESB)中间件和业务流程管理工具编写所有业务规则和业务
逻辑
。这些工具使用designer编写所有业务
逻辑
和规则,而无需编写一行代码。 我的问题是,大企业是否使用中间件/ESB/BPM来编写复杂的业务规则和业务
逻辑
,而不使用任何
编程
语言
?将从
编程
语言
转
浏览 0
提问于2021-02-01
得票数 -1
回答已采纳
1
回答
是否有纯粹的声明性、通用的
编程
语言
?
、
、
我一直在研究声明性
语言
,似乎声明性只是
逻辑
和函数式
语言
的总称。还是我错了?有没有通用的声明性
编程
语言
,既不能归类为函数式,也不能归类为
逻辑
(Al),而仅仅是“声明性”?
浏览 2
提问于2012-09-17
得票数 6
回答已采纳
1
回答
高层
编程
语言
与底层
编程
语言
的关系
、
低级
编程
语言
和高级
编程
语言
之间有多大的联系?例如,汇编
语言
和C++在不同的层次上工作,但是,在这些级别之间存在什么样的
逻辑
呢?让我们假设我写了一个你好世界!用C++
编程
,我编译并运行它。为了使我的代码在汇
编程
序级别上更有效,我需要关心什么??
浏览 3
提问于2015-10-07
得票数 0
回答已采纳
1
回答
用C
语言
进行
逻辑
编程
、
、
、
我试图用C
语言
实现一些人工智能规划算法,但是我坚持了基本的概念:)FORMULA f = PROPOSITION(a + 3 > 0);最后的目标(理想情况下)是构建一个AI计划库,它可以直接插入应用程序,而不是以剥离程序字符串的形式接收问题。 谢谢
浏览 1
提问于2011-09-04
得票数 5
回答已采纳
1
回答
使用
逻辑
编程
优化的
语言
、
、
是否有使用任意
逻辑
编程
执行编译时优化的
语言
? 让编译器根据它所知道的谓词/优化执行优化。
浏览 2
提问于2012-12-28
得票数 5
2
回答
Prolog在哪里用于交通控制系统?
用户Laurent对为什么
逻辑
编程
没有流行的问题有一个有趣的答案? 如果你看看
逻辑
编程
在空中交通控制领域所产生的影响,我认为这不能说
逻辑
编程
还没有流行起来。为什么在这样的环境中使用它而不是
语言
(如C或Python )?
浏览 8
提问于2009-04-12
得票数 3
回答已采纳
3
回答
什么是“
逻辑
变量”,实现
语言
特性的一般方法是什么?
我正在尝试编写一种玩具
逻辑
编程
查询
语言
,它基于各种指令集,包括SICP和Prolog艺术(AoP)。我刚刚开始绘制统一算法的第一个草图(根据AoP的说法是“
逻辑
编程
计算模型的核心”),AoP注意到 对于特定的
逻辑
编程
语言
,在实现统一算法时,避免了叠加方程和单位方程的显式替换。相反,
逻辑
变量和其他术语由具有不同值的存储单元表示,变量绑定是通过将表示
逻辑
变量的存储单元分配给包含变量绑定项表示的单元格的引用来实现的。(第
浏览 2
提问于2015-11-05
得票数 10
2
回答
是否有任何无法编译或未编译的解释代理
语言
?
、
、
关于面向代理
编程
范式的三个标准: 代理过程,用于将代理程序编译成低级的可执行系统(绑定到第二点)。是否有未编译的解释
编程
语言
?据我所知,解释
语言
的全部目的是实现一种具有某些特性、语法等的新
语言
。但是底层的实现最终需要编译成一些低级的东西,这样才能真正地执行它。面向代理的
编程
范式的第3点仅仅是说仅仅从理论上定义一种
语言
是不够的,而
浏览 0
提问于2018-11-04
得票数 3
回答已采纳
2
回答
不同的
编程
范式提供了什么?
、
、
、
在4种不同的范例中有许多不同的
编程
语言
: 我可以用所有的
编程
范例编写一个程序,例如,我可以用OOP中的类编写程序,也可以用函数式
编程
语言
编写它。
浏览 4
提问于2014-06-26
得票数 0
回答已采纳
2
回答
是什么让一个简单的程序成为一个好程序?
编程
语言
或
编程
逻辑
..... 因为两者对于良好的编码实践都是同等重要的。还有,请证明你的回答是正确的。
浏览 2
提问于2010-09-22
得票数 1
回答已采纳
点击加载更多
扫码
添加站长 进交流群
领取专属
10元无门槛券
手把手带您无忧上云
相关
资讯
C语言编程新手基础学习快速入门——逻辑运算
工业机器人编程教程-逻辑编程
4种PLC逻辑语言和7种PLC编程元件,精学PLC基础知识!
《Java编程的逻辑》读者评论
编程语言
热门
标签
更多标签
云服务器
ICP备案
对象存储
腾讯会议
实时音视频
活动推荐
运营活动
广告
关闭
领券