计算构建列表的检查次数(Count number of check to build the list)
当我计算检查次数以构建列表时,我有一个错误。
这是我的代码:
find(_R1, _R2, [], [],0). find(R1, R2, [[Mark, CName] | T], L,N) :- ( (R1 =< Mark, Mark =< R2),N is N+1 -> L = [CName | L1] ; L = L1 ), find(R1, R2, T, L1,N).
我收到以下错误:
ERROR: is/2: Arguments are not sufficiently instantiated.
I have an error when i count number of check in order to build the list.
Here is my code:
find(_R1, _R2, [], [],0). find(R1, R2, [[Mark, CName] | T], L,N) :- ( (R1 =< Mark, Mark =< R2),N is N+1 -> L = [CName | L1] ; L = L1 ), find(R1, R2, T, L1,N).
I get the following error:
ERROR: is/2: Arguments are not sufficiently instantiated.
原文:https://stackoverflow.com/questions/20830959
更新时间:2023-10-23 19:10
最满意答案
这有帮助吗?
Does this help?
相关问答
更多-
TCP/IP模型是一个________。[2023-10-02]
a -
下列中不属于面向对象的编程语言的是?[2022-05-30]
a -
您可以为同一站点配置一个IP地址或多个IP地址。 同样,您可以为一个IP地址配置一个网站,或为一个IP地址配置多个网站。 唯一的限制是使用HTTPS时。 这篇Microsoft文章讨论了如何为(每个)网站配置IP地址。 尽管它表示它适用于Server 2003,但配置在最近的2次修订中没有太大变化。 http://www.microsoft.com/technet/prodtechnol/WindowsServer2003/Library/IIS/e4b7db43-2e10-4939-b888-a7b439 ...
-
您可能需要从vanilla连接器开始构建自己的HttpConnector ,可能使用net2::TcpBuilder 。 这肯定是应该更容易的东西,可能在配置中指定。 您可能想要为hyper打开一个问题,或者如果您自己实现了拉取请求。 You'd need to build your own HttpConnector probably starting from the vanilla connector, perhaps using net2::TcpBuilder. This is definitel ...
-
好的,我发现了一个适合我的解决方案。 这可能不是正确的方法,但它正在发挥作用。 所以这是信息 我在Mavericks First上运行OS X Server 3.0在网络设置下我有3个网络接口1.2.3.186 1.2.3.187 1.2.3.189 .186接口是主要和主动服务。 对于所有这3个网络接口,我单击高级按钮,导航到代理选项卡并输入.186地址作为地址,输入3128作为端口。 现在,我打开了服务器管理控制面板(称为服务器的应用程序)并创建了一个网站编辑最初我认为你需要一个网站为每个IP,因为我的 ...
-
这有帮助吗? 如何使JVM默认使用给定的源IP? Does this help? How to make the JVM use a given source IP by default?
-
看看libghttp源码 ,我找不到任何类似本地地址的提及。 它使用普通的C套接字库,所以也许你可以使用它来楔入一些东西。 HTTP :: GHTTP和libghttp在10年内没有得到维护。 libghttp文档几乎不存在。 除非您迫切需要使用该特定的http库,否则我建议您查看维护选项。 LWP :: UserAgent和HTTP :: Tiny是Perl中使用的普通HTTP库。 LWP :: UserAgent具有local_address属性 , HTTP :: Tiny也是如此 。 Looking ...
-
限制传出的HTTP请求(Throttling Outgoing HTTP requests)[2022-09-07]
在单个服务器中,一种解决问题的简单方法是: 将请求和结果处理程序推送到队列 有一个周期性处理程序,每秒从队列中弹出一个元素并执行请求 使用结果或错误调用结果处理程序 在集群方式中,您可以扩展先前的概念并将其包装在事件总线地址上,因此它将类似于: 使用请求向该地址发送消息并设置回复处理程序 该服务将按照前面的解释工作 服务将依赖于消息回复处理程序来传递结果,而不是调用处理程序。 In a single server a naive approach to solve your problem would be ... -
Java Socket为传出连接指定某个网络接口(Java Socket specify a certain network interface for outgoing connections)[2021-12-15]
这是“弱端系统模型”的结果。 这里描述的范围太宽泛,但在RFC 1122中对此进行了讨论。 This is the result of the 'weak end system model'. It's too broad to describe here but it is discussed in RFC 1122. -
我相信操作系统将选择本地地址 - 基于本地接口的路由表。 如果您有多个IP都可以到达目标主机,那么您可以通过要绑定的本地IP配置到该主机的(静态)路由。 I used proxy instead of selecting IP for the request.