Intérprete de Prolog creado en Javascript