Here are more expansive reflections on FGCS from Alan Kay and Markus Triska: https://www.quora.com/Why-did-Japan-s-Fifth-Generation-Compu...

The paper of Ueda they cite is so lovely to read, full of marvelous ideas:

Ueda K. Logic/Constraint Programming and Concurrency: The hard-won lessons of the Fifth Generation Computer project. Science of Computer Programming. 2018;164:3-17. doi:10.1016/j.scico.2017.06.002 open access: https://linkinghub.elsevier.com/retrieve/pii/S01676423173012...

As someone who shared so many commenters' experiences of initial frustrations and the later 'enlightenment' with Prolog, I recommend starting with Markus's video 'Preparing Prolog' https://www.metalevel.at/prolog/videos/preparing_prolog

This helped me to appreciate Prolog as an ongoing, progressive movement in programming.

I had the same troubles until I encountered Markus Triska's modern perspective on revitalizing Prolog: https://www.metalevel.at/prolog. His video 'Preparing Prolog' may be the best place to (re)start: https://youtu.be/kGQNeeRp4sM

Thanks for this fascinating connection. "History progresses at the speed of its weapons systems." https://en.wikipedia.org/wiki/Paul_Virilio#War_of_movement

Virilio was a very interesting writer.