declarative

1熱度

2回答

我想寫一個簡單的應用程序來學習事務如何在Spring（聲明式AOP樣式）中工作。我將一條記錄插入到customer表中，然後拋出NullPointerException來查看插入的數據是否回滾。但令我驚訝的是，它並沒有回滾數據。下面是代碼 applicationContext.xml文件 <beans xmlns="http://www.springframework.org/schema/bea

7熱度

3回答

我很好奇，如果邏輯程序可以做代數

我讀了一篇關於Prolog和邏輯編程的簡短文章。我很好奇，如果邏輯程序可以做代數。就像你能問什麼X的變量在方程5 + X = 7中並得到-2的答案？

1熱度

1回答

電話對話邏輯謎題{Prolog}

year('1928'). year('1929'). year('1932'). year('1935'). person(gertie). person(herbert). person(miriam). person(wallace). exchange(al). exchange(be). exchange(pe). exchange(sl). solve:-

1熱度

1回答

會員謂詞問題，換一美元

我是Prolog的完整noob。我正在完成一項任務，我創建了一個總計S（以美分計）的更改計數器，0 < = S < = 100.因此，我需要顯示半美元，四分之一，一角硬幣，五分錢的數量。這裏是我的代碼： change(S,H,Q,D,N,P) :- member(H,[0,1,2]), /* Half-dollars */ member(Q,[0,1,2,3,4]

3熱度

2回答

Backbone視圖的聲明性授權（權限）

前言：來自Rails社區的任何人都可能熟悉服務器端的cancan，以聲明模型操作的授權。 IE瀏覽器。可以嗎？（：read，Project）背景：但是，在前端的UI層，我還沒有發現任何提供相同類型的抽象來處理用戶看到的和他們有權限做的事情（顯然始終有一個後端認證層）。例如，你是否向用戶顯示一個按鈕？我們是否包含'contenteditable'元素屬性？如果用戶點擊「喜歡」，我們會嘗試註冊嗎？

0熱度

1回答

write_canonical（）和自然語言解釋

實現以下兩個運營商擁有並以這樣的方式用這樣的短語：誰擁有X的什麼：彼得約翰的車子問題的答案，如我有這個簡單的程序，定義了兩個操作：有（指定誰擁有什麼）和（指定誰擁有什麼）這是解決寫在Prolog的源文件： :- op(100, xfy, of). :- op(200, xfx, has). peter has car of john. peter has car of mary.

4熱度

3回答

爲什麼這個Prolog Fibonacci函數會導致「instantiation_error」？

我嘗試使用下面的函數來計算Fibonacci series： fib(0,A,_,A). fib(N,A,B,F) :- N1 is N-1, Sum is A+B, fib(N1, B, Sum, F). fib(N, F) :- fib(N, 0, 1, F). 這是爲了工作原理是這樣： | ?- fib(20,Result). Result = 6765 ? 但是當

2熱度

1回答

osgi公開soap客戶端作爲聲明服務

我對osgi相當陌生。請耐心等待。我想公開一個SOAP Web服務客戶端作爲聲明服務。我怎麼做。我希望一步一步的教程。我到目前爲止已經能夠啓動equinox，編寫聲明式服務並使用相同的服務。我堅持的是，我期望創建一個只包含服務接口類的包，然後創建一個實現上述接口的包。實現包應該是soap客戶端，以便它與外部Web服務進行通信。

0熱度

1回答

OSGi服務的解除綁定方法中的全局變量爲空

我的應用程序基於OSGi（Equinox）。 OSGi服務通過在適當的類中定義Component XML和綁定/取消綁定方法來綁定另一個服務。在unbind方法中，全局String變量的值（與unbind方法相同的類）應該被刪除。奇怪的是，String屬性在那裏是null，儘管屬性之前是明確設置的。這是什麼原因？我怎樣才能獲得我設定的價值？

-1熱度

1回答

Prolog謂詞做錯用法或;

我有一些問題在特定列表上執行特定操作。我有令牌的列表，其中一個令牌代表一個字，我想承認，如果在此列表中5個連續的令牌，代表具有形式的日期：1995年12 Febbraio，其中12是天數，Febbraio是月（在意大利語言）和1995年是一年（和值，另一間是一個空格）例如以前的日期是下列標記列表： [T（ 1，「12」），t（-1，「」），t（2，「Febbraio」），t（-1，「」），t（