邏輯式編程語言極簡實現(使用C#) - 2. 一道邏輯題:誰是凶手

来源:https://www.cnblogs.com/skabyy/archive/2020/06/30/13199805.html

使用邏輯式編程找出凶手! Boddy 先生死於謀殺,現有六個嫌疑犯,每個人在不同的房間,每間房間各有一件可能的凶器,但不知道嫌疑犯、房間、凶器的對應關係。請根據條件和線索,找出誰是凶手。 ...


本系列前面的文章:

這是一道Prolog經典的練習題,中文翻譯版來自阮一峰的文章《Prolog 語言入門教程》

問題

Boddy 先生死於謀殺,現有六個嫌疑犯,每個人在不同的房間,每間房間各有一件可能的凶器,但不知道嫌疑犯、房間、凶器的對應關係。請根據下麵的條件和線索,找出誰是凶手。

六個嫌疑犯是三男(George、John、Robert)三女(Barbara、Christine、Yolanda)。

六個嫌疑犯分別待在六個房間:浴室(Bathroom)、飯廳(Dining Room)、廚房(Kitchen)、起居室(Living Room)、 儲藏室(Pantry)、書房(Study)。每間房間都有一件可疑的物品,可以當作凶器:包(Bag)、火槍(Firearm)、煤氣(Gas)、刀(Knife)、毒藥(Poison)、繩索(Rope)。

所有線索如下:

線索一:廚房裡面是一個男人,那裡的凶器不是繩索、刀子、包和火槍。

線索二:Barbara 和 Yolanda 在浴室和書房。

線索三:帶包的那個人不是 Barbara 和 George,也不在浴室和飯廳。

線索四:書房裡面是一個帶繩子的女人。

線索五:起居室裡面那件凶器,與 John 或 George 在一起。

線索六:刀子不在飯廳。

線索七:書房和食品儲藏室裡面的凶器,沒跟 Yolanda 在一起。

線索八:George 所在的那間屋子有火槍。

線索九:Boddy 先生死在食品儲藏室里,那裡的凶器是煤氣。

NMiniKanren解題

直接上代碼:

var George = "George";
var John = "John";
var Rebert = "Rebert";
var Barbara = "Barbara";
var Christine = "Christine";
var Yolanda = "Yolanda";
var res = KRunner.Run(10, (k, q) =>
{
    // 男人集合
    var manNames = new string[] { George, John, Rebert };
    var man = k.List(manNames);
    // 女人集合
    var womanNames = new string[] { Barbara, Christine, Yolanda };
    var woman = k.List(womanNames);
    // 所有人集合
    var person = k.List(manNames.Concat(womanNames).ToArray());
    // 每個場所所在的人
    var bathroom = k.Fresh();
    var dining = k.Fresh();
    var kitchen = k.Fresh();
    var livingroom = k.Fresh();
    var pantry = k.Fresh();
    var study = k.Fresh();
    // 物品持有者
    var bag = k.Fresh();
    var firearm = k.Fresh();
    var gas = k.Fresh();
    var knife = k.Fresh();
    var poison = k.Fresh();
    var rope = k.Fresh();
    // 不同的人在不同的房間
    var locationConst = k.Distincto(bathroom, dining, kitchen, livingroom, pantry, study);
    // 不同的人持有的物品不同
    var weaponConst = k.Distincto(bag, firearm, gas, knife, poison, rope);
    // 變數X表示凶手
    var X = k.Fresh();
    // 線索
    // 廚房裡面是一個男人,那裡的凶器不是繩索、刀子、包和火槍。
    var clue1 = k.All(
        k.Is(kitchen, man),
        k.Noto(k.Eq(kitchen, rope), k.Eq(kitchen, knife), k.Eq(kitchen, bag), k.Eq(kitchen, firearm)));
    // Barbara 和 Yolanda 在浴室和書房。
    var clue2 = k.Any(
        k.All(k.Eq(bathroom, Barbara), k.Eq(study, Yolanda)),
        k.All(k.Eq(bathroom, Yolanda), k.Eq(study, Barbara)));
    // 帶包的那個人不是 Barbara 和 George,也不在浴室和飯廳。
    var clue3 = k.Noto(
        k.Eq(bag, Barbara), k.Eq(bag, George),
        k.Eq(bag, bathroom), k.Eq(bag, dining));
    // 書房裡面是一個帶繩子的女人。
    var clue4 = k.All(k.Is(rope, woman), k.Eq(rope, study));
    // 起居室裡面那件凶器,與 John 或 George 在一起。
    var clue5 = k.Any(k.Eq(livingroom, John), k.Eq(livingroom, George));
    // 刀子不在飯廳。
    var clue6 = k.Noto(k.Eq(knife, dining));
    // 書房和食品儲藏室裡面的凶器,沒跟 Yolanda 在一起。
    var clue7 = k.Noto(k.Eq(study, Yolanda), k.Eq(pantry, Yolanda));
    // George 所在的那間屋子有火槍。
    var clue8 = k.Eq(firearm, George);
    // Boddy 先生死在食品儲藏室里,那裡的凶器是煤氣。
    var clue9 = k.All(k.Eq(X, pantry), k.Eq(X, gas));
    // 集合所有條件
    return k.All(
        k.Is(X, person),
        k.Is(bathroom, person),
        k.Is(dining, person),
        k.Is(kitchen, person),
        clue5,
        k.Is(livingroom, person),
        k.Is(pantry, person),
        k.Is(study, person),
        clue2,
        locationConst,
        k.Is(bag, person),
        k.Is(firearm, person),
        clue8,
        k.Is(gas, person),
        k.Is(knife, person),
        k.Is(poison, person),
        k.Is(rope, person),
        weaponConst,
        clue1,
        clue3,
        clue4,
        clue6,
        clue7,
        clue9,
        k.Eq(q, k.List(
            bathroom, dining, kitchen, livingroom, pantry, study,
            bag, firearm, gas, knife, poison, rope,
            X)));
});
Console.WriteLine("(bathroom dining kitchen livingroom pantry study bag firearm gas knife poison rope X)");
KRunner.PrintResult(res);

其中一些輔助函數:

k.Is(a, s): a是集合s的成員。

k.Noto(g1, g2, ...): g1g2……都不成立。NMiniKanren並沒有支持“非”運算,這裡用If方法模擬的,僅在一定場合下成立。

k.Distincto(a, b, c, ...): abc……兩兩不相等。

完整代碼在https://github.com/sKabYY/NMiniKanren/blob/master/NMiniKaren.Tests/Crime.cs

另外,最後使用k.All整合所有條件時,並不是按照順序寫的。瞭解NMiniKanren運行原理後會知道,這是因為不同順序會影響運行速度。大體上來說,應該儘可能讓分支較少的放前面。

點擊運行,等待幾十秒,輸出結果:

(bathroom dining kitchen livingroom pantry study bag firearm gas knife poison rope X)
[(Yolanda George Rebert John Christine Barbara John George Christine Yolanda Rebert Barbara Christine)]

凶手是Christine。


您的分享是我們最大的動力!

更多相關文章
  • 學了一段時間java,接觸了mvc設計模式,但是對設計模式概念比較模糊,通過百度瞭解了一下.這裡簡單總結一下. 設計模式(Design pattern),百度說是也叫軟體設計模式,是一套被反覆使用,多數人知曉的,經過分類編目的,代碼設計經驗的總結. 使用設計模式是為了可重用代碼,讓代碼更容易被他人理 ...
  • from typing import Listclass Solution: def minimumTotal1(self, triangle: List[List[int]]) -> int: return self.dfs(triangle,0,0,len(triangle),0) # 深搜的做 ...
  • 作為一個潛入IT圈五年之久、看過數萬份簡歷的HR,在這個問題上還是有點發言權的。HR在篩選簡歷時主要從公司需求出發,重點不一,不過還是有很多“通用”的套路,為了在30秒內判斷出這份簡歷是否值得跟進,我認為程式員寫簡歷的正確姿勢是這樣的: 一、基本格調 即打開簡歷之後的第一印象。就好比我們看見一個人, ...
  • Object A =new Object();java中new一個對象要經歷哪些過程首先java在new一個對象的時候,會先查看對象所屬的類有沒有被載入到記憶體,如果沒有的話就會先通過類的全限定名將對象所屬的.class文件載入到記憶體中。載入並初始化類完成後,再進行對象的創建工作。(全限定名有絕對路徑 ...
  • import shelve a = shelve.open('1') b = [1,2,3] a['b'] = b a.close()a['b'] Traceback (most recent call last):File "C:\Users\Administrator\AppData\Local ...
  • 最近在折騰一些控制相關的軟體設計,想起來狀態機這個東西,對解決一些控制系統狀態切換還是挺有用的。 狀態機(有限狀態自動機)網上有很多介紹。簡單理解就是定義一系列狀態,通過一系列的事件,可以使得狀態可以相互之間切換。 如果不使用狀態機的思想來編程,那麼針對過程的編程方法會使得程式拓展性變差,並且不容易 ...
  • 悲哀的就是,想吃技術飯,那就要走專家路線,但是中國軟體開發絕大多數是應用,能給得起錢的也是應用,對專家的需求就沒多少。 這條路才真的是獨木橋,走到後來,你會發現,你潛心研究的技術都是狗屁,不賺錢。 例如某個回答里提到的,悲觀鎖樂觀鎖。我也曾經喜歡研究這類問題,但是後來我發現,一個框架就搞定了。我們的 ...
  • 委托與事件在C#1.0的時候就有了,隨著C#版本的不斷更新,有些寫法和功能也在不斷改變。本文溫故一下這些改變,以及在NET Core中關於事件的一點改變。 一、C#1.0 從委托開始 1. 基本方式 什麼是委托,就不說概念了,用例子說話。 某HR說他需要招聘一個6年 .NET5 研發經驗的“高級”工 ...
一周排行
  • 比如要拆分“呵呵呵90909086676喝喝999”,下麵當type=0返回的是中文字元串“呵呵呵,喝喝”,type=1返回的是數字字元串“90909086676,999”, private string GetStrings(string str,int type=0) { IList<strin ...
  • Swagger一個優秀的Api介面文檔生成工具。Swagger可以可以動態生成Api介面文檔,有效的降低前後端人員關於Api介面的溝通成本,促進項目高效開發。 1、使用NuGet安裝最新的包:Swashbuckle.AspNetCore。 2、編輯項目文件(NetCoreTemplate.Web.c ...
  • 2020 年 7 月 30 日, 由.NET基金會和微軟 將舉辦一個線上和為期一天的活動,包括 微軟 .NET 團隊的演講者以及社區的演講者。本次線上大會 專註.NET框架構建微服務,演講者分享構建和部署雲原生應用程式的最佳實踐、模式、提示和技巧。有關更多信息和隨時瞭解情況:https://focu... ...
  • #abp框架Excel導出——基於vue #1.技術棧 ##1.1 前端採用vue,官方提供 UI套件用的是iview ##1.2 後臺是abp——aspnetboilerplate 即abp v1,https://github.com/aspnetboilerplate/aspnetboilerp ...
  • 前言 本文的文字及圖片來源於網路,僅供學習、交流使用,不具有任何商業用途,版權歸原作者所有,如有問題請及時聯繫我們以作處理。 作者:碧茂大數據 PS:如有需要Python學習資料的小伙伴可以加下方的群去找免費管理員領取 input()輸入 Python提供了 input() 內置函數從標準輸入讀入一 ...
  • 從12年到20年,python以肉眼可見的趨勢超過了java,成為了當今It界人人皆知的編程語言。 python為什麼這麼火? 網路編程語言搜索指數 適合初學者 Python具有語法簡單、語句清晰的特點,這就讓初學者在學習階段可以把精力集中在編程對象和思維方法上。 大佬都在用 Google,YouT ...
  • 在社會上存在一種普遍的對培訓機構的學生一種歧視的現象,具體表現在,比如:當你去公司面試的時候,一旦你說了你是培訓機構出來的,那麼基本上你就涼了,那麼你瞞著不說,然後又通過了面試成功入職,但是以後一旦在公司被髮現有培訓經歷,可能會面臨被降薪,甚至被辭退,培訓機構出來的學生,在用人單位眼裡就是能力低下的 ...
  • from typing import List# 這道題看了大佬寫的代碼,經過自己的理解寫出來了。# 從最外圍的四周找有沒有為O的,如果有的話就進入深搜函數,然後深搜遍歷# 判斷上下左右的位置是否為Oclass Solution: def solve(self, board: List[List[s ...
  • import requests; import re; import os; # 1.請求網頁 header = { "user-agent":'Mozilla/5.0 (Macintosh; Intel Mac OS X 10_15_5) AppleWebKit/537.36 (KHTML, li ...
  • import requests; import re; import os; import parsel; 1.請求網頁 header = { "user-agent":'Mozilla/5.0 (Macintosh; Intel Mac OS X 10_15_5) AppleWebKit/537. ...