Skip to content

Unexpected failure with lex_chain/1 #43

@notoria

Description

@notoria
?- lex_chain([[1],[2,3]]).
   true. % Different sizes accepted.
?- lex_chain([[1],[1,2]]).
   false. % Unexpected

Expected: true.

Also:

?- lex_chain([[],[]]).
   true.
?- lex_chain([[],[1]]).
   false. % Unexpected.

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions