エジンバラ大からSRIインターナショナルに転じたWarrenは1983年Prologの仮想マシンコードであるWarren'sAbstractMachine(WAM)を発表した.
エジンバラ大からSRIインターナショナルに転じた