Following papers provide information about the history of Prolog:

The birth of Prolog (Alain Colmerauer, Philippe Roussel; 1992).

The Wonder Years of Sequential Prolog Implementation