Renowned computer scientist R. Forsyth wrote: "Basic is a python that devours everything in its path. BASIC has just finished "digesting" the PASCAL language with all its governing structures. After a short pause and a few burps, he will be able to "break" the PROLOGUE, so that we will see variants of the BASIC language with a built-in mechanism for proving theorems by the method of resolutions..."