News: Markus Triska added clp(b) to SWI-PrologSearch Documentation:
SWI-Prolog owl logoPredicate if/1