News: SWI-Prolog supports websocketsSearch Documentation:
SWI-Prolog owl logoPredicate subsumes_term/2