fix bad handling of choice-points in backtrackable predicates (SWI code
does not clean frames on exit )
Nicos sqlite interface
Nicos sqlite interface
SQLite for android