natas_hw
/
mps-coderules
mirror of https://github.com/JetBrains/mps-coderules
0
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Fix unification predicate implementation to properly process non-term arguments. Cleanup the code.

This commit is contained in:
Fedor Isakov 2019-01-13 14:06:55 +01:00
parent 29a44eac5d
commit 50487cd41c
3 changed files with 1948 additions and 2026 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
coderules/languages/jetbrains.mps.logic/runtime/jetbrains.mps.logic.runtime.msd
View File

@ -14,6 +14,7 @@
</dependencies>
<languageVersions>
<language slang="l:f3061a53-9226-4cc5-a443-f952ceaf5816:jetbrains.mps.baseLanguage" version="8" />
<language slang="l:774bf8a0-62e5-41e1-af63-f4812e60e48b:jetbrains.mps.baseLanguage.checkedDots" version="0" />
<language slang="l:fd392034-7849-419d-9071-12563d152375:jetbrains.mps.baseLanguage.closures" version="0" />
<language slang="l:83888646-71ce-4f1c-9c53-c54016f6ad4f:jetbrains.mps.baseLanguage.collections" version="1" />
<language slang="l:f2801650-65d5-424e-bb1b-463a8781b786:jetbrains.mps.baseLanguage.javadoc" version="2" />

3969
coderules/languages/jetbrains.mps.logic/runtime/models/jetbrains.mps.logic.predicate.mps
View File

File diff suppressed because it is too large Load Diff

4
coderules/solutions/jetbrains.mps.logic.test/models/jetbrains/mps/logic/test/unification.mps
View File

@ -787,7 +787,7 @@
<node concept="3clFbS" id="6N2bvv_uxfx" role="3clF47">
<node concept="3clFbF" id="6N2bvv_uxi6" role="3cqZAp">
<node concept="1rXfSq" id="6N2bvv_uxi5" role="3clFbG">
<ref role="37wK5l" to="cxk7:2UGjFq4lB$H" resolve="_ask" />
<ref role="37wK5l" to="cxk7:2UGjFq4lB$H" resolve="doAsk" />
<node concept="37vLTw" id="6N2bvv_uxmD" role="37wK5m">
<ref role="3cqZAo" node="6N2bvv_uxfQ" resolve="a" />
</node>
@ -818,7 +818,7 @@
<node concept="3clFbS" id="6yEjedm8tAm" role="3clF47">
<node concept="3clFbF" id="6yEjedm8tOR" role="3cqZAp">
<node concept="1rXfSq" id="6yEjedm8tOQ" role="3clFbG">
<ref role="37wK5l" to="cxk7:2UGjFq4lGBW" resolve="_tell" />
<ref role="37wK5l" to="cxk7:2UGjFq4lGBW" resolve="doTell" />
<node concept="37vLTw" id="6yEjedm8tTM" role="37wK5m">
<ref role="3cqZAo" node="6yEjedm8tDF" resolve="a" />
</node>