See also: Concepts Of Logical AI by John McCarthy - https://www-formal.stanford.edu/jmc/concepts-ai/concepts-ai....