#19 prove_1 and prove_n not converting prototype plans

0.1.alpha2
closed-fixed
pyke (39)
2
2008-03-06
2008-03-06
No

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.

Discussion

  • Bruce Frederiksen

    • status: open --> closed-fixed
     
  • Bruce Frederiksen

    Logged In: YES
    user_id=301752
    Originator: YES

    Fixed in svn R69. Fix will be included in 0.2 release.

     

Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:





No, thanks