2012-02-13 AN ABSTRACT PROLOG INSTRUCTION SET prolog prologでお馴染みWAMの日本語訳 WAM: Warren's Abstract Machine (Japanese)