Merge pull request #578 from Lexpedite/fix_applicability

Fix applicability
Lexpedite · Sep 21, 2023 · 57e9cb5 · 57e9cb5
2 parents 030dbdd + 3ed358a
commit 57e9cb5
Show file tree

Hide file tree

Showing 3 changed files with 8 additions and 3 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -7,6 +7,13 @@ As of v0.2-alpha, this project is attempting to adhere to [Semantic Versioning](
 While alpha, however, any version may include breaking changes that may not be specifically noted as such,
 and breaking changes will not necessarily result in changes to the main version number.
 
+## [v1.6.20-alpha](https://github.com/Lexpedite/blawx/releases/tag/v1.6.20-alpha) 2023-09-21
+
+This release is backwards compatible with v1.6.19-alpha.
+
+### Fixes
+* Applies Blocks cause slow-downs in code speed.
+
 ## [v1.6.19-alpha](https://github.com/Lexpedite/blawx/releases/tag/v1.6.19-alpha) 2023-07-27
 
 This release includes bug-fixes.

diff --git a/blawx/ldap.py b/blawx/ldap.py
@@ -9,6 +9,4 @@
 #pred according_to(X,-blawx_applies,Y,Z) :: 'according to @(X) it is not the case that @(Y) applies to @(Z)'.
 #pred defeated(X,blawx_applies,Y,Z) :: 'the conclusion in @(X) that @(Y) applies to @(Z) is defeated'.
 #pred defeated(X,-blawx_applies,Y,Z) :: 'the conclusion in @(X) that it is not the case that @(Y) applies to @(Z) is defeated'.
--blawx_applies(X,Y) :- holds(_,-blawx_applies,X,Y).
-blawx_applies(X,Y) :- holds(_,blawx_applies,X,Y).
 """
diff --git a/blawx/settings.py b/blawx/settings.py
@@ -13,7 +13,7 @@
 from pathlib import Path
 
 # For adding a version identifier
-BLAWX_VERSION = "v1.6.19-alpha"
+BLAWX_VERSION = "v1.6.20-alpha"
 
 
 # Build paths inside the project like this: BASE_DIR / 'subdir'.