The early years of logic programming