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是命令式還是陳述式編程語言

知道命令式和聲明式編程之間的區別是相當混亂的嗎？任何人都可以解釋現實世界中兩者之間的區別嗎？請澄清一下C是否是一個命令式語言或聲明式語言？

1熱度

1回答

將NSString轉換爲Objective-C控件

我想在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回答

Prolog'is/2'謂詞實現

'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（all_distinct，列表）

我無法運行此代碼，關於允許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回答

Oracle ADF和SalesForce集成

我正在嘗試集成ADF應用程序到SalesForce。我有我的企業URL和API令牌和密碼。我可以通過soapUI調用服務並獲得結果。現在的挑戰是我想整合salesforce並將數據提供給ADF應用程序。我爲SOAP Web服務創建了datacontrol。但是，由於SalesForce遵循安全的方法，這不起作用。首先，我們需要調用登錄（）服務which'll返回動態的serviceURL和的se

0熱度

1回答

unix的'cp'命令是聲明式還是命令式？

我正在與同事討論，他堅持認爲cp是聲明式的。對我來說，這似乎非常必要。這是我們要求計算機執行的指令，而不是定義或聲明。對於它是不是聲明，： cp a.zip b.zip 你可能有： b.zip = a.zip 沒有人對此有什麼看法？

2熱度

1回答

如何建模聲明性語言

我正在使用puppet。 puppet是一種聲明性語言，我需要對我的代碼進行建模。我的問題是聲明式編程語言的建模語言是什麼？換句話說：我們使用uml來建模命令式語言，但uml不適用於聲明式編程語言。