started prolog mini language, updated README