eyeling 1.5.40 → 1.5.41
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/examples/cranberry-calculus.n3 +167 -0
- package/examples/output/cranberry-calculus.n3 +1334 -0
- package/eyeling.js +3 -1
- package/package.json +1 -1
package/eyeling.js
CHANGED
|
@@ -4183,6 +4183,9 @@ function forwardChain(facts, forwardRules, backRules) {
|
|
|
4183
4183
|
}
|
|
4184
4184
|
|
|
4185
4185
|
for (const s of sols) {
|
|
4186
|
+
// IMPORTANT: one skolem map per *rule firing* so head blank nodes
|
|
4187
|
+
// (e.g., from [ :p ... ; :q ... ]) stay connected across all head triples.
|
|
4188
|
+
const skMap = {};
|
|
4186
4189
|
const instantiatedPremises = r.premise.map((b) => applySubstTriple(b, s));
|
|
4187
4190
|
|
|
4188
4191
|
for (const cpat of r.conclusion) {
|
|
@@ -4267,7 +4270,6 @@ function forwardChain(facts, forwardRules, backRules) {
|
|
|
4267
4270
|
}
|
|
4268
4271
|
|
|
4269
4272
|
// Only skolemize blank nodes that occur explicitly in the rule head
|
|
4270
|
-
const skMap = {};
|
|
4271
4273
|
const inst = skolemizeTripleForHeadBlanks(instantiated, r.headBlankLabels, skMap, skCounter);
|
|
4272
4274
|
|
|
4273
4275
|
if (!isGroundTriple(inst)) continue;
|