From: Bart D. <Bar...@cs...> - 2006-02-23 14:24:29
|
> var/1 does not succeed on attributed variables ... > Does anyone know what other Prologs do? SICStus: | ?- put_atts(X,a(10)), var(X). true ? yes Yap: ?- put_atts(X,a(10)), var(X). true ? yes SWI - hProlog: ?- put_attr(X,asd,qwe), var(X). X = _G187{asd = ...} Yes ?- SWI and hProlog have a new predicate attvar/1 which succeeds for attributed variables, but not for ordinary ones. Usually, existing code does not break by making var/1 succeed on attributed vars. Cheers Bart |