私は徹底的な検索を行いましたが、それでも無駄でした。
参照:
ウォーレン抽象機械(ウィキペディア)。
質問:
そのような実装(オープンソース)はありますか?
そうでない場合は、他の言語で書かれた適切なソリューションをラップするソリューションの回答を受け入れる傾向があります(リンクするDllおよび/またはobjファイル、Prolog.NETについて知っています:提案しないでください)。
私は徹底的な検索を行いましたが、それでも無駄でした。
参照:
ウォーレン抽象機械(ウィキペディア)。
質問:
そのような実装(オープンソース)はありますか?
そうでない場合は、他の言語で書かれた適切なソリューションをラップするソリューションの回答を受け入れる傾向があります(リンクするDllおよび/またはobjファイル、Prolog.NETについて知っています:提案しないでください)。
私の卒業研究 (1987 年) は、Prolog のマクロ展開を定義し、その利点をテストすることでした。私のターゲットはWAMでした。DEC-10 アセンブリ言語の WAM のソース コードはありましたが、残念ながら DEC-10 (物理もエミュレートもされていない) がなかったため、副業として WAM 言語から TurboPascal v3 へのコンパイラを実装する必要がありました。私が覚えている限り、私の実装は完全ではありませんでしたが、私がしなければならなかったことには十分でした。この質問を投稿してからほぼ 5 年後に、この貢献 (非常に小さく、非常に遅い) が有用であることに気付いた場合、私は驚かれることでしょう。ただし、そうする場合は、回答を投稿してください。ソース コードを喜んでお送りします。私はそれを書きました、私は喜んで私の権利をパブリックドメインに寄付することができます.