Came here to say the same thing but with reference to Prolog.