functional-logic-progr

    0熱度

    2回答

    所以,我設法設計的東西,但我需要確認,我的真正的問題是: 我如何設計使用2分多路設計爲在問題的標題4-1複用器(僅使用與非門)加儘可能多的或非門,我需要?總結起來,第一個問題:如何設計一個只使用Nand門的2-1。第二個問題:如何使用第一個問題的兩個電路加上儘可能多的NOR門來設計4-1。 感謝

    3熱度

    2回答

    的相當迷人的2013的介紹後對Haskell的基礎KiCS2實施Curry由Wolfgang Jeltsch,A Taste of Curry,提供了inverse組合子定義如下: inverse :: (a -> b) -> (b -> a) inverse f y | f x =:= y = x where x free (注:這樣做之類的東西inverse (+1) 3 == 2和in

    0熱度

    1回答

    最近,我跟着通過A Taste of Curry,事後決定把瑣碎的算術解析器例子來測試,通過編寫一個較爲可觀的解析器:一種原始的,但正確功能性的HTML解析器。 我結束了一個工作node2string的函數,在Node操作(具有屬性和兒童),然後我inverse d以獲得parse函數,如在文章中舉例說明。 第一個天真的實現有錯誤,它解析任何東西,但例如將簡單的<input/> HTML代碼片段合

    2熱度

    1回答

    我期待澄清了一些關於溯因邏輯程序設計與回答集編程的東西。 我的一些同學正在創建一個遊戲。在這個遊戲中有「英雄」(特殊的NPC)。英雄們有目標和行爲。 (所有這一切都是故事驅動) 我想什麼英雄的玩家或則另一位主角的行動決定如何從那裏做反應。 老師給我們講了一個名爲紙「的RoleModel:實現故事代戲劇角色的形式化模型」,它解釋溯邏輯編程。通過我的研究,我找到了答案集編程。 問: 有工黨範式和ASP