Skip to content

Replace calls to deprecated not/1 predicate with calls to standard \+/1 predicate #27

Open
Open
Replace calls to deprecated not/1 predicate with calls to standard \+/1 predicate#27
@pmoura

Description

@pmoura
pmoura
opened on Aug 12, 2019

E.g.

DALI/src/eliminate.pl

Line 12 in eb30e1d

estrai_token_ext_le([A|B],Tok,_):-not(clause(found_le_E,_)),A=69,findall(X,clause(extract_tok_le_term(X),_),L),

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Fields

    No fields configured for issues without a type.

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions