search

vangelisv / thea

OWL2 library for Prolog
http://vangelisv.github.com/thea
108 stars 19 forks source link

Suspicious call: unification will succeed without any variable bindings #34

Open pmoura opened 5 years ago

pmoura commented 5 years ago

It mist likely should not be F2=F2:

https://github.com/vangelisv/thea/blob/bac0924cdf4232c3d0fb5952fa57d057a07165cd/owl2_util.pl#L730-L735

Found by the Logtalk linter (git version).