小编sen*_*nel的帖子

问号,加上,减去前面的Prolog变量名

我已经搜索过这个解释,但还没找到.在Prolog谓词的描述中,有时在变量名前面的问号,加号和减号是什么意思?

例:

predicate(?Variable1,+Variable2,-Variable3)
Run Code Online (Sandbox Code Playgroud)

prolog

22
推荐指数
1
解决办法
6104
查看次数

通过Facebook iOS SDK获取我的所有活动

在我的iOS应用程序中,我使用以下代码获取访问令牌:

    [self.facebook authorize:[NSArray arrayWithObjects:@"user_events",
@"friends_events",  nil]];
Run Code Online (Sandbox Code Playgroud)

然后我使用以下代码请求我的事件:

[self.facebook requestWithGraphPath:@"me/events" andDelegate:friendsVC];
Run Code Online (Sandbox Code Playgroud)

但作为回应,我只收到我已经回复的事件.我想得到我所有的活动,包括我没有回复过的活动.

有任何想法吗?

iphone sdk facebook ios

14
推荐指数
2
解决办法
3968
查看次数

不同代表的系统能够有效解决吗?

我们设置了S 1,S 2,...,S n.这些集合不必是不相交的.我们的任务是为每个集合选择一个代表成员,以便所选元素的总数尽可能小.一个元素可以存在于多个集合中,并且可以表示它所包含的所有集合.是否有算法可以有效地解决这个问题?

algorithm complexity-theory

6
推荐指数
1
解决办法
305
查看次数

Haskell中的变量

为什么以下Haskell脚本无法按预期工作?

find :: Eq a => a -> [(a,b)] -> [b]
find k t = [v | (k,v) <- t]
Run Code Online (Sandbox Code Playgroud)

给定find 'b' [('a',1),('b',2),('c',3),('b',4)],解释器返回[1,2,3,4]而不是[2,4].u为了实现这一点,需要引入一个名为的新变量:

find :: Eq a => a -> [(a,b)] -> [b]
find k t = [v | (u,v) <- t, k == u]
Run Code Online (Sandbox Code Playgroud)

有谁知道为什么第一个变体不会产生预期的结果?

variables haskell

5
推荐指数
2
解决办法
602
查看次数

在Haskell中解析错误

以下代码:

import IO
import System(getArgs)

main = do
    args <- getArgs
    let l = length args
    if l == 0
        putStrLn "foo"
    else
        putStrLn "bar"
Run Code Online (Sandbox Code Playgroud)

为if-else子句生成解析错误.我尝试使用花括号无济于事.救命!

haskell parse-error

0
推荐指数
1
解决办法
2065
查看次数