PROgramming in LOGic - funktionale Programmiersprache mit Prädikatenlogik, der KI zugeordnet (5GL)