什么是Mycroft？

Mycroft是一種邏輯語(yǔ)言，其語(yǔ)法類(lèi)似于PROLOG。此外，它還支持透明的分布式計(jì)算和復(fù)合真值。

為什么不只使用PROLOG？

部分出于歷史原因，PROLOG相當(dāng)慢（與其他語(yǔ)言針對(duì)許多類(lèi)問(wèn)題實(shí)施的解決方案相比，最壞情況和平均情況的時(shí)間復(fù)雜度都很高）。它在單個(gè)線程中對(duì)邏輯樹(shù)執(zhí)行深度優(yōu)先搜索。無(wú)法使用自動(dòng)備注，因?yàn)榇_定的“純序言”謂詞可以與不確定的謂詞（例如I / O和隨機(jī)數(shù)生成）自由混合。隱式并行性的實(shí)現(xiàn)很復(fù)雜，因?yàn)槌绦蚣僭O(shè)分支將按順序運(yùn)行-意味著任何隱式并行PROLOG需要能夠中斷和回滾那些不會(huì)在純線性執(zhí)行模型中運(yùn)行的分支以保持標(biāo)準(zhǔn)。Mycroft表示謂詞是否是確定的。它記住確定謂詞的結(jié)果，這意味著確定謂詞將在第二次運(yùn)行時(shí)立即完成。它記住確定性謂詞的中間結(jié)果，這意味著即使不確定性謂詞依賴(lài)于確定性謂詞，在第二次運(yùn)行時(shí)其運(yùn)行速度也會(huì)更快。此外，可以將一組Mycroft實(shí)例形成一個(gè)群集，其中，所有確定謂詞的結(jié)果都將分配給所有實(shí)例，評(píng)估謂詞的工作可以分布在各個(gè)實(shí)例之間。

Mycroft與PROLOG有何不同 ？

Mycroft并不執(zhí)行真正的統(tǒng)一-這意味著 ?- set(X, hello), print(X).   與...不同

?- print(X), set(X, hello).

取而代之的是，Mycroft對(duì)謂詞中的標(biāo)識(shí)符強(qiáng)制執(zhí)行功能樣式的值單值分配。

由于使用了復(fù)合真值，Mycroft隱式支持開(kāi)放世界的假設(shè)-換句話說(shuō)，無(wú)法解析為true的查詢(xún)被解析為某些非true值，而不一定是false，并且無(wú)法解析為所有值都被評(píng)估為未知（真值| 0>，也稱(chēng)為NC或“無(wú)置信度”）。這意味著您不能用盡力證明-沒(méi)有與PROLOG內(nèi)置'/ +'直接對(duì)應(yīng)的Mycroft。Mycroft不會(huì)嘗試擴(kuò)展變量的可能值。這與差異＃1和＃2有關(guān)-我們無(wú)法擴(kuò)展到整個(gè)Herbrand宇宙，因?yàn)槲覀兗僭O(shè)宇宙是開(kāi)放的，因此我們無(wú)法進(jìn)行真正的統(tǒng)一，因?yàn)榭梢蕴鎿Q的原子集是無(wú)界的。這既是肯定的-您不會(huì)遇到試圖為所有整數(shù)評(píng)估謂詞的偶然無(wú)限循環(huán)-既是肯定的-您不能隱式地使用此系統(tǒng)進(jìn)行發(fā)現(xiàn)，而是必須生成您所需要的原子集對(duì)自己感興趣并對(duì)其進(jìn)行迭代。