When plans are bound to pattern variables (e.g, with the "as" clause), a prototype plan is bound (a bc_context object). The engine.prove_n and engine.prove_1 functions do not convert these into regular plans.
Logged In: YES user_id=301752 Originator: YES
Fixed in svn R69. Fix will be included in 0.2 release.
Log in to post a comment.
Logged In: YES
user_id=301752
Originator: YES
Fixed in svn R69. Fix will be included in 0.2 release.