Menu

#8 Path language bug

open
TIS (4)
5
2004-06-07
2004-06-07
No

According to the manual (section 3.3.1), ($TISvar)/Sel
should be equivalent to $TISvar/Sel, but it isn't:

| ?- check_condition((($is)/shared)=X).
no
% source_info
| ?- check_condition(($is/shared)=X).
X =
record([com=set([]),actions=stackset([top]),issues=stackset([_A^action(_A)]),qud=stackset([_A^action(_A)]),pm=set([greet]),lu=record([...
= ...,... = ...])]) ?

It is not clear whether the manual or the
implementation should be fixed.

Discussion


Log in to post a comment.

MongoDB Logo MongoDB