News: SWI-Prolog supports websocketsSearch Documentation:
SWI-Prolog owl logoPredicate subtract/3