GitHub repository: tani/tau-prolog
Description: An open source Prolog interpreter in JavaScript