compute-engine

compute-engine copied to clipboard

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.)