SWI-Prolog
TramsWang