Tau Prolog is an ISO Prolog system from scratch and just for JavaScript. It tries to follow some of the innovations of Scryer and Trella Prolog. Dogelog inherits some stuff from Jekejeke Prolog and has an innovative GC.