From V.E.R.A. -- Virtual Entity of Relevant Acronyms (August 2020): PROLOG PROgramming in LOGic
PROLOG PROgramming in LOGic