在C或C ++中实现Prolog [英] Implementing Prolog in C or C++

问题描述

我想知道如何在C或C ++中的Prolog实现看起来像。我主要感兴趣的是将其构建为C或C ++库，尽管解释器应用程序也会这样做。我有兴趣阅读它的内部，即查询执行，即找到解决方案和相关的数据类型。我会很高兴，如果你推荐我任何阅读主题或任何直接的建议/意见。阅读可能是其他OOP语言或一般的OOP。

I was wondering how would Prolog implementation in C or C++ look like. I am mainly interested in building it as a C or C++ library, though the interpreter app would also do. I am interested in reading about its internals, namely query execution i.e. finding the solutions and the associated datatypes involved. I would be glad if you recommended me any readings on topic or for any direct suggestions/advices. Readings might be for other OOP languages or for general OOP as well. Most exhausting material will solve the question.

推荐答案

我敢打赌你会得到很多的瓦伦的抽象机：教程重建，其中讨论如何以过程语言实现Prolog。

I bet you'd get a lot out of Warren's Abstract Machine: A Tutorial Reconstruction, which discusses how to implement Prolog in a procedural language.

这篇关于在C或C ++中实现Prolog的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持IT屋！