Introduces Prolog. Closes #13