THE EARLY YEARS OF LOGIC PROGRAMMING

During this period the idea of programming in predi- cate logic was born. I had been asked to serve as exter- nal examiner for Roussel’s T/z&e de Troisikrw Cycle [30]. I was impressed by his use of “formal equality” (charac- terized by the single axiom x = x) to avoid the ineffi-

  Pride, Logic, Acte, Predi cate logic