0回答
让我们来看一个简单的functorpublic: bool operatormyVector = factory();我对围绕函数器的术语的理解是即它是抽象的，而不是具体的。
那么，我们怎么称呼L
浏览 10提问于2016-07-03得票数 1
回答已采纳
QMetaObject::invokeMethod过载的文档 typename Functor,bool QMetaObject::invokeMethod( Functor function,
Qt::ConnectionType type = Qt::AutoConnection函数可以是函子，也可以是指向成员函数的指针。如果可以调用函数，则返回true。如果没有
浏览 5提问于2020-12-07得票数 2
我是Prolog的新手，有时无法理解某些东西。我知道如何将列表转换为以下格式的术语：listOfTerms([[1,2],[100,99],[5,11]],+
浏览 0提问于2013-02-23得票数 1
回答已采纳
我试着用Prolog编写内置的functor。functor1(Term,F,N) :- Term =.. [F|Args] , lenlist(Args,N).?- functor(Term,f,6).Term = f(_G247, _G248, _G249, _G250, _G251, _G252)?creep
我编写的functo
浏览 1提问于2009-12-05得票数 3
回答已采纳
1回答
我试图编写一组谓词，用递归替换嵌套谓词中的术语；即r(a, aa).r(e, ee).p(a, b, p(d, e, f)).p(aa, b, cc)p(aa, p(p(b, cc, d), ee, f), g)inf(p(A, B,f)),X = p(a, p(p(b, c, d), e, f), g),
Y = p(aa
浏览 0提问于2018-02-13得票数 1
回答已采纳
想知道如何在SWIProlog中做到这一点，例如，转换术语[猫王已经死了][A, [B, C]]ty(simple, _)ty(A, _)转到
ty(ty(A, ), _)
浏览 2提问于2016-03-26得票数 0
回答已采纳
我正在看，有一些代码我不能理解它是如何工作的： functor.fmap(as)(f)
implicit object ListFunctor extends Functor[List] {def fmap[A, B](f: A => B): List[A] =&g
浏览 0提问于2012-06-22得票数 1
回答已采纳
如果我在Prolog中使用类似这样的内容或那么X:Y和X/Y被认为是一个变量，还是一个字符串？
我们可以把它放在什么类别中？
浏览 19提问于2018-06-03得票数 2
回答已采纳
Instance functorsPreserveIsomorphisms {a b : o} {φ : o → u} (F : Functor: o → o → Type u : Type D : Cat u ρ b : o F : Functor作为参考，相同的命令使用相同的术语在其他上下文中工作。它将下列目标的任何一方重写到另一
浏览 8提问于2011-11-14得票数 4
回答已采纳
2回答
在Haskell中，(，)的函子实例显然是 fmap f (a,b) = (a,f b)> fmap (const5) [1, 2]> fmap (const 5) (1, 2)现在，使用这个定义会更好，在我看来： fmapf (a,b) = (f a,f b)>
浏览 1提问于2018-06-01得票数 0
回答已采纳
上次我学到=..可以将列表转换为术语和相反方向。我有3个谓词要做，第一个是将列表转换为术语的谓词。我想出了这样的东西： Term =.. [Functor | List]. ?-
浏览 0提问于2019-01-17得票数 2
1回答
我正在尝试使用在一种简单的逻辑语言中表示术语和命题。Read, Show, Functor, Foldable, Traversable)
| RelationString [Term a] deriving (Functor, Foldable, Traversable)
特别地，有一些术语既可以是变量，也
浏览 0提问于2020-09-02得票数 3
我试图为prolog中的统一编写一个简单的元解释器，这就是我到目前为止所得到的。我遇到的问题是，当我试图统一两个变量，例如我得到了正确的结果但是当我试图统一其他的东西时，例如ERROR: [9] <user>
我不明白为什么在这种特殊情况下，子句/
浏览 2提问于2020-11-20得票数 1
回答已采纳
2回答
我正在研究我的IT应用程序堆栈所需的一项更改对IT的影响。有许多系统，大多数系统都使用webservice进行通信。在我完成评估后，我的一位同事问我是否需要进行任何“规范的改变”。我对这个术语感到困惑，并问他“规范更改”是什么意思，他重新表述了这个问题，询问是否有任何xml模式更改。
术语规范的变化与xml模式中的变化相同吗？
浏览 2提问于2011-05-10得票数 0
我想创建这个prolog程序:用户输入-或者+，如果-结果是3-2，否则是3+2。我写了这个程序，但是编译器给了我错误。我能做些什么？ read(A),
浏览 0提问于2018-05-24得票数 1
我有一个用prolog写成的列表：我想按函数式中的数字而不是字母来排序。我的意思是如果我做了sort(L,L1)我会得到但我想让它像这样
L1 = [
浏览 1提问于2015-01-21得票数 1
1回答
据我所知，这两个事实都是用复词来表达的，而复词又是以复数作为论据。有三个级别的术语嵌套在术语内部。这是否意味着，当其他复杂术语嵌套在一起时，整个复杂术语具有一种特性？
浏览 3提问于2014-12-30得票数 0
回答已采纳
1回答
参数型函子的实现
、、
有这种类型的：我完全能够实现Show类型： show (Rgb r g b) = "Rgb (" ++ show r ++ "," ++ show g ++ "," ++ show b ++ ")"instance F
浏览 2提问于2015-09-20得票数 2
回答已采纳
1回答
我试图复制一个列表，这样原始列表就不会被我在新列表上执行的任何操作所更改。我看过和。然而，这两个选项都没有生成与其“父”“独立”的列表。来自一个命令式的背景，一些Prolog的概念很难理解，我相信我在这里遗漏了一些东西。那么，我的问题是，是否有可能在Prolog中创建一个列表的深度副本？
提前谢谢你。
浏览 0提问于2019-05-03得票数 1
回答已采纳
4回答
如何创建视图并仅显示与当前正在查看的术语相关的分类法术语(URL中的术语id )？我尝试过一些关系和参数配置，但似乎不能简单地列出与所查看的术语相关的术语。编辑:我已经通过核心分类法接口关联了这些术语。
浏览 0提问于2012-02-22得票数 2
云服务器
ICP备案
云直播
实时音视频
即时通信 IM
腾讯云开发者
