Warren wrote the first compiler for Prolog, and the Warren Abstract Machine execution environment for Prolog is named after him.
Warren wrote the first compiler for Prolog. The Warren Abstract Machine execution environment for Prolog is named after him.