connective-promise

boolean (true/false) and first order (some/every) logic with promises