Logical english by Kowalski (author of iso prolog) go into interesting territory for me https://www.researchgate.net/publication/345770048_Logical_E...