The early years of logic programming | Synapse