Skip to content

YAP bug in read_term/2-3 options variables/1 and variable_names/1 breaks use of parameter variables #68

New issue
New issue
Closed
Closed
YAP bug in read_term/2-3 options variables/1 and variable_names/1 breaks use of parameter variables#68
Labels
backend prolog compiler bug
@pmoura

Description

@pmoura
pmoura
opened on Apr 6, 2019

A YAP bug in the implementation of the read_term/2-3 options variables/1 and variable_names/1 breaks use of parameter variables.

Bug reported to YAP developers at vscosta/yap-6.3#37

Metadata

Metadata

Assignees

No one assigned

    Labels

    backend prolog compiler bug

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions