Menu ▾ ▴

#5 Nondeterminism in conditions broken when typechecking

open
Staffan Larsson
TIS (4)
5
2004-01-09
2004-01-09
Staffan Larsson
No

For some reason, checking conditions which are
indeterministic only returns the first solution. This
is very serious...

| ?- check_condition( in(set([a,b,c]), X) ).
X = a ? ;

Discussion

  • Staffan Larsson

    Staffan Larsson - 2004-01-09

    Logged In: YES
    user_id=569641

    Fortunately, this only holds in typecheck mode.

     

  • Staffan Larsson

    Staffan Larsson - 2004-01-09
    • priority: 9 --> 5
     

  • Staffan Larsson

    Staffan Larsson - 2004-01-09
    • summary: Nondeterminism in conditions broken --> Nondeterminism in conditions broken when typechecking
     

Log in to post a comment.

MongoDB Logo MongoDB