Test is always true - Githubissues

vangelisv / thea

OWL2 library for Prolog

http://vangelisv.github.com/thea

108 stars 19 forks source link

Test is always true #28

Open JanWielemaker opened 5 years ago

JanWielemaker commented 5 years ago

https://github.com/vangelisv/thea/blob/ea098725ba319ac7304db1138dff2702e2245f25/owl2_xml.pl#L187

When loading in recent versions of SWI-Prolog it says

Warning: /home/jan/3rdparty/thea/owl2_xml.pl:186:
Warning:    Test is always true: var(IRI)

Which is correct. My guess would be that the intended statement is IRI=TIRI.