predicates

    1熱度

    3回答

    我有一個問題,其中有一個元素列表,我必須遍歷特定/ 2謂詞的所有實例以查找哪一個具有最高匹配數列表中的元素。在實施方面,我似乎無法弄清楚我應該如何更新迄今爲止最高的比賽,然後在沒有更多比賽時停止。 findAnswer(MyList, HighMatchNum,_):- answer(X,Y), myIntersection(MyList, Y, NUM), //handles

    1熱度

    1回答

    我目前正在學習Prolog中的謂詞邏輯。我無法回答關於該主題的問題,並想知道使用Prolog謂詞解決此類問題的步驟。我有一個場景,必須使用兩個不同的謂詞名稱在Prolog謂詞中表示。 甲乙結婚 乙喜歡Ç C和d結婚 d喜歡Ë ˚F喜歡乙 Ë喜歡乙 E和G爲已婚 A贊G

    2熱度

    2回答

    我正在使用視圖根據ID返回域。域名欄可以是'地理',也可以是域名'地理,歷史'。 (在任何方式,返回的數據是VARCHAR) 在我的C#代碼,我有一個包含列表主要領域: private static List<string> _mainDomains = new List<string>() { "Geography", "Mathematics", "Englis

    1熱度

    2回答

    可以說我擁有一個名爲animalType的實體。 在覈心數據中,我有10,000個這樣的實體,並且有不確定數量的不同動物類型,例如,狗,貓,鳥等 我能告訴的核心數據獲取每個動物類型並返回類似於數組: @[Dog, Cat, Bird, Fish, ...] 我不想獲取實體的數組我只是想唯一列表的animalTypes。 應該重複否animalType。

    0熱度

    1回答

    我有2個表:user和licenseduser。第一個包含全部用戶,第二個僅包含具有許可證的用戶(2列:useruid和subscriptionid)。 鑑於subscriptionId我必須顯示在網格所有用戶和一個布爾標誌列爲每個用戶指示他/她是否有訂閱。 實施例:下面的查詢給出了我,對於subscriptionId = 7 select firstname, lastname, emailad

    0熱度

    1回答

    我有一個文件對象列表,我希望按照類似規則(音頻,視頻,照片)或捕捉日期/時間或Exif信息(照片的情況下)等規則進行過濾。例如,我可以用一些Cicle來做。 有一個聰明的方法來做到這一點?我在某處讀到解決方案可能是使用Google Guava的Predicates,但我無法理解它是如何工作的。任何建議?由於

    1熱度

    1回答

    我有以下代碼可以幫助我通過反射來構建lambda表達式。但是,當我嘗試與Date進行比較時,它會將我的值轉換爲完整DateTime印章。我怎樣才能建立我的謂詞,所以它只會比較短日期? System.Reflection.PropertyInfo propInfo = typeof(T).GetProperty(property); Type propertyType = propInfo.Pro

    1熱度

    1回答

    我想模擬mqsi命令,使用ANTLR並遇到以下問題。 mqsicreateconfigurableservice的文檔針對queuePrefix說: 「前綴可以包含在WebSphere®MQ隊列名稱中有效的任何字符,但不得超過8個字符,且不得以句點(。)開頭或結尾。例如,SET.1有效,但.SET1和SET1無效,多個可配置服務可以使用相同的隊列前綴。「 我已經使用了以下內容作爲權宜之計,但這種技

    0熱度

    1回答

    我想要得到一個謂詞來從1個事實與另一個事實進行關聯,並繼續前進,直到指定的停止點。 例如, 假設我正在做一個物流記錄,我想知道誰從誰那裏得到了包裹,他們從哪裏得到它,直到最後。 Prolog的 mailRoom(m). gotFrom(annie,brock). gotFrom(brock,cara). gotFrom(cara,daniel). gotF

    1熱度

    1回答

    所以我想解決如何使用這些謂詞,我已經閱讀了Apple文檔並試圖使用它(https://developer.apple.com/library/ mac /#documentation/Cocoa/Conceptual/Predicates/Articles/pUsing.html),並且我已經設置了謂詞,但它不斷得到線程1:EXC_BAD_ACCESS(code =)等等。 NSError *er