declarative-programming

    3热度

    2回答

    嘿,我正在尝试创建一个谓词,用于在PROLOG中嵌套列表上生成深度反转。 目前我得到这个谓词 reverse(L,A) :- rev(L,[], A). rev([],A,A). rev([H|L],R,A) :- rev(L,[H|R],A). 结果看起来是这样的: reverse([1,2,3],A). A = [3, 2, 1]. reverse([[0,1],2,3],A).

    9热度

    5回答

    知道命令式和声明式编程之间的区别是相当混乱的吗?任何人都可以解释现实世界中两者之间的区别吗? 请澄清一下C是否是一个命令式语言或声明式语言?

    1热度

    1回答

    我想在IOS(objective-c)中重现WPF中的声明式编程。 在WPF我可以使用像这样的控制: <MediaElement Name="myVideo" Source="C:\WINDOWS\system32\oobe\images\ intro.wmv" Width="450" Height="400" > 确切的代码将是: MediaElement me = new MediaEle

    3热度

    3回答

    'is/2'Prolog谓词是如何实现的? 我知道 X is 3*4 相当于与 is(X, 3*4) 不过是使用命令式编程实现的谓语? 换句话说,是否与以下C代码等价? if(uninstantiated(x)) { X = 3*4; } else { //signal an error } 还是它使用声明性编程和其他谓词来实现?

    4热度

    2回答

    我必须解决功课,但我对Prolog的知识非常有限。任务如下: 编写一个Prolog程序,它可以列出一个字符串的所有子字符串,其长度至少为两个字符,第一个和最后一个字符相同。 例如: ?- sameend("teletubbies", R). R = "telet"; R = "ele"; R = "eletubbie"; R = "etubbie"; R = "bb"; false.

    0热度

    1回答

    我无法运行此代码,关于允许maplist/2运行all_distinct/1的列表,我有什么要说的? Solution = [A, B, C, D, E, F, G, H, I], Solution ins 1..9, maplist(all_distinct, Solution). 我得到ERROR: Arguments are not sufficiently instantiated

    2热度

    1回答

    以下方案显示了一种抽象,我认为这是不可能以声明方式实现的。 假设我想要创建一个符号对象,它允许您使用可以比较的字符串创建对象,如Symbol.for() in JavaScript。在JS一个简单的实现可能是这样的: data MySymbol = MySymbol String makeSymbol :: String -> MySymbol makeSymbol s = MySymbol

    0热度

    1回答

    我正在尝试集成ADF应用程序到SalesForce。我有我的企业URL和API令牌和密码。我可以通过soapUI调用服务并获得结果。 现在的挑战是我想整合salesforce并将数据提供给ADF应用程序。我为SOAP Web服务创建了datacontrol。但是,由于SalesForce遵循安全的方法,这不起作用。首先,我们需要调用登录()服务which'll返回动态的serviceURL和的se

    0热度

    1回答

    我正在与同事讨论,他坚持认为cp是声明式的。对我来说,这似乎非常必要。这是我们要求计算机执行的指令,而不是定义或声明。对于它是不是声明,: cp a.zip b.zip 你可能有: b.zip = a.zip 没有人对此有什么看法?

    2热度

    1回答

    我正在使用puppet。 puppet是一种声明性语言,我需要对我的代码进行建模。 我的问题是声明式编程语言的建模语言是什么? 换句话说:我们使用uml来建模命令式语言,但uml不适用于声明式编程语言。