腾讯云
开发者社区
文档
建议反馈
控制台
首页
学习
活动
专区
工具
TVP
最新优惠活动
文章/答案/技术大牛
搜索
搜索
关闭
发布
登录/注册
精选内容/技术社群/优惠产品,
尽在小程序
立即前往
文章
问答
(9999+)
视频
沙龙
1
回答
Prolog
cut
"!“
erlang
中
的
操作符
prolog
、
erlang
我有足够扎实
的
prolog
背景,现在我将用
erlang
开发一个代码。这些语言看起来足够相似,除了"!“运算符,这在
prolog
中非常有用。现在我想知道
erlang
中
是否有这样
的
运算符?或者可能是我遗漏了什么,不需要这样
的
运算符?
浏览 42
提问于2019-06-03
得票数 3
回答已采纳
2
回答
Erlang
编程:学习
Prolog
有帮助吗?
erlang
、
prolog
学习
Prolog
是否有助于以特定于
Erlang
的
方式学习
Erlang
?
Erlang
最初是一个并发
Prolog
,但现代
Erlang
是否连接到
Prolog
(语法之外)?我知道学习
Prolog
可能对学习Lisp对任何语言
的
编程都有好处,但我想知道学习
Prolog
是否能帮助我具体地学习
Erlang
,因为
Prolog
在
Erlang
的
“起
浏览 0
提问于2010-08-22
得票数 16
4
回答
有任何语言使用=/=作为不等式运算符吗?
programming-languages
、
history
、
language-design
、
operators
维基百科说:除了这张桌子之外,所有这些
操作符
都可以在=/=中找到。我可以发现这个等于-斜杠-等于被用作用明文格式化≠
的
一种方式,但没有在任何编程语言中使用。
浏览 0
提问于2011-11-07
得票数 9
回答已采纳
1
回答
跟踪一个简单
的
prolog
代码,完全理解
CUT
(!)
prolog
、
prolog-dif
ـــــــــــ 首先,我没有使用
cut
写这段代码,然后我尝试将
cut
操作符
放在每个谓词后面,直到我得到完美的答案,但实际上我不明白使用
cut
之后它是如何工作
的
。我知道
cut
操作符
会阻止
prolog
进行匹配,但是我不能正确使用它,所以我需要帮助跟踪这段代码,顺便说一句,这段代码简单地删除了列表中元素
的
所有匹配项。
浏览 3
提问于2013-03-18
得票数 1
4
回答
Erlang
是一种约束逻辑编程语言吗?
erlang
、
prolog
、
constraint-programming
由于
Erlang
是基于
Prolog
的
,这是否意味着
Erlang
是一种约束逻辑语言?
Erlang
有
Prolog
的
构建块吗:事实、规则和查询
浏览 6
提问于2011-03-22
得票数 16
回答已采纳
1
回答
是否可以用一阶逻辑来表示
Prolog
的
切分?
prolog
、
logic-programming
、
prolog-cut
在关于
Prolog
的
裁剪
操作符
!/0
的
对话
中
,我只听说过用选择点和
Prolog
的
执行模型来描述它。在我看来,
cut
的
引入似乎是为了对搜索过程给予更多
的
“强制”控制,并有可能改善某些程序
的
性能,但这并不是因为理论上
的
原因。有关此类讨论
的
示例,请参见、、。我很好奇是否还有其他方式来考虑
Prolog
代码
中
的
浏览 4
提问于2022-10-07
得票数 2
2
回答
Prolog
term to
Erlang
erlang
、
prolog
假设您有这个
prolog
术语"city(London,England)“。伦敦是英国
的
一座城市。 如何在
Erlang
中表示它,模式匹配?
浏览 2
提问于2010-07-06
得票数 4
1
回答
Prolog
优于Datalog
prolog
、
datalog
我一直在试图理解,在特定
的
上下文中使用
Prolog
优于Datalog是否有很大
的
优势。
Prolog
是图灵完整
的
,而Datalog不是。但是,使用
Prolog
还有其他实质性
的
优势吗?例如,特定
的
上下文可以是关系数据库.使用
Prolog
或Datalog更好吗?
浏览 5
提问于2015-10-25
得票数 0
3
回答
Prolog
console
、
prolog
所以我有几次返回true
的
谓词。?- get_all_transformed_moves.true ;swi
prolog
有没有一些方法可以帮助我在不键入‘;’
的
情况下运行这个谓词?
浏览 0
提问于2011-09-19
得票数 0
回答已采纳
3
回答
Prolog
中
并发性
的
抽象
concurrency
、
erlang
、
prolog
、
actor
、
erlog
我们正在构建Erlog
的
1.0版本,这是一个可以在
Erlang
进程
中
运行
的
prolog
。目前,我已经实现了通过正常
的
erlang
机制发送和接收消息
的
能力。但是,我希望能够在
erlang
消息传递
的
基础上向Erlog添加其他并发抽象。 那么,在
Prolog
或LP编程环境
中
,人们发现哪些其他并发抽象是有用
的
呢?
浏览 2
提问于2014-10-12
得票数 1
回答已采纳
7
回答
哈斯克尔
的
语句排序?
haskell
我正试图编译一个相当简单
的
haskell程序。要么我不知道如何在Haskell
中
对语句(表达式)排序,要么没有办法做到这一点。很难相信Haskell
中
的
函数基本上只限于一个“表达式”或“语句”,或者你想称之为它
的
任何东西。您将如何解决以下设计
的
玩具示例(用
erlang
编写,但可以很容易地直接转换为
prolog
或其他所有语言):count([_|B], X) -> Y = X这个“let. in
浏览 2
提问于2012-03-31
得票数 3
4
回答
在SWI
中
定义
操作符
,包括竖直条形图
prolog
、
operators
、
swi-prolog
我试图在
Prolog
中
编码基本
的
逻辑推理,我想定义一些自定义
操作符
来简化符号。如果我可以为|-键入⊢,那就很方便了。但是,当我尝试查询gamma |- or(a,X)时,我会得到错误消息而不是我所期望
的
true问题似乎是定义
的
运算符包含一个垂直条形字符。如果我将知识库修改为g
浏览 6
提问于2016-10-28
得票数 7
回答已采纳
1
回答
要列出
的
二进制堆
list
、
tree
、
prolog
、
append
、
binary-tree
正在尝试将树结构追加到列表
中
。在
Erlang
中
,我会使用++
操作符
进行追加,但在
Prolog
语言中执行此操作时,我总是遇到语法错误。 我会包括我
的
错误代码,它
的
所有关于附加
的
列表,我认为是缺失
的
。有什么办法解决我
的
附加问题吗?
浏览 1
提问于2012-08-30
得票数 1
回答已采纳
2
回答
Prolog
与
Erlang
(以及其他函数式语言)
functional-programming
、
prolog
、
erlang
Prolog
有什么问题?以
Erlang
为例。它
的
语法借鉴自
Prolog
,它最初是用
Prolog
实现
的
,这真的很有趣。也就是说,从
Erlang
人
的
角度来看,
Prolog
存在根本性
的
问题,否则他们会根据自己
的
需要对
Prolog</e
浏览 1
提问于2016-02-27
得票数 12
2
回答
为什么
Erlang
中
的
变量被设计为以大写字母开头?
erlang
我对
Erlang
并不熟悉,我只是想知道为什么变量被设计为以大写字母开头,而大写字母与其他语言中
的
大写字母是如此不同? 也许是因为那是不可改变
的
?
浏览 1
提问于2015-02-04
得票数 9
回答已采纳
1
回答
Erlang
中
的
进程/消息与Smalltalk
中
的
对象/消息有什么区别?
oop
、
erlang
、
elixir
、
smalltalk
、
message-passing
我试图理解Smalltalk
中
的
对象/消息与
Erlang
中
的
进程/消息之间
的
区别。I 。据我所知,在Smalltalk
中
,所有东西都是一个对象,所有东西都具有相同
的
“对象/消息”抽象--甚至数字1也是一个只能通过消息传递才能到达
的
对象。1是
Erlang
/Elixir
的
一个过程吗?
Erlang
中
的
所有内容都是
浏览 19
提问于2019-10-27
得票数 15
2
回答
如何检查
Prolog
是否返回false?
prolog
、
return
以下是我
的
代码
的
一部分: path([A], B, Path, 0, Length), writef(' with distance of %d\n', [Length]), ("IF
PROLOG
RETURN FALSE",除了我想让它在从循环中检索数据库
中
的
所有数据后检查是否返回false之外
浏览 0
提问于2014-12-11
得票数 0
3
回答
Prolog
中
的
感叹号
prolog
,我期望得到S=time1 (如果我错了,请纠正我),如果'X‘是满意
的
,那么停止回溯。3 ?- trace. [trace] 3 ?- relax(S).那么为什么
Prolog
也要检查sun(time1),即使它在被sound(X)满足之后遇到了感叹号(因为sound(time1)是事实)。
浏览 0
提问于2013-02-25
得票数 20
回答已采纳
4
回答
二郎写
的
是什么?
erlang
、
bootstrapping
爱立信对
Erlang
和
Erlang
/OTP
的
实现是什么?是装配,C还是
Erlang
本身?更新2: Hynek Vychodil指出了许多细节。 扩展:在任何语言中都可以使用该
浏览 6
提问于2009-02-13
得票数 115
回答已采纳
3
回答
Gist.github
prolog
语法突出显示
git
、
prolog
、
syntax-highlighting
在上,没有
prolog
语法突出显示主题。顺便问一下,
prolog
有什么问题?它真的这么不可用吗?
浏览 0
提问于2011-04-18
得票数 3
回答已采纳
点击加载更多
扫码
添加站长 进交流群
领取专属
10元无门槛券
手把手带您无忧上云
相关
资讯
JavaScript中new操作符的详细过程
Python 中的==操作符 和 is关键字
Linux 中命令链接操作符,让你的代码更简洁!
Linux 中命令链接操作符的十个最佳实例
《七周七语言:理解多种编程范型》读书笔记
热门
标签
更多标签
云服务器
即时通信 IM
ICP备案
对象存储
实时音视频
活动推荐
运营活动
广告
关闭
领券