Open
Description
Description
ce.ask
appears to return an empty result (array) at level of basic, well-formulated predicates/propositions.
Steps to Reproduce
Basic case:
const ce = new ComputeEngine();
ce.declare('x', 'finite_real');
ce.ask(['Element', 'x', 'finite_real']);
// → [ ]
ce.ask(['Element', 'x', 'any']);
// → [ ]
// Further assumption
ce.assume(['Greater', 'x', 0]);
// → 'ok'
ce.ask(['Greater', 'x', '_value']);
// → [ ]
Actual Result
Empty arrays/results, for queries which have answers with current knowledge.
Expected Result
Array of BoxedSubstitution
's, e.g. {'_value': 0}
for query ce.ask(['Greater', 'x', '_value'])
Compute Engine version
0.27.0
(a bit further on, truthfully: #a981709)
(not sure if this functioning in prior versions, even so little far-back as 0.26.)
Metadata
Metadata
Assignees
Labels
No labels