【算法】深入理解 Prolog：逻辑编程的奇妙世界

关于Prolog的，有兴趣的可以学习，需要一定的英文基础。

Logic[1].Programming.with.Prolog.pdf<br>Prentice+Hall+-+An+Introduction+to+Logic+Programming+through+Prolog.pdf<br>prolog.chm<br>

在csdn中下了几个prolog包，发现都不管用，自己在网络上找到了一个，并附加简单学习方法指导，在windows平台上可以正常使用，是学习prolog的好帮手。

Logic programming for .NET Prolog.NET is a full featured Prolog programming environment for the .NET Framework. It includes an enhanced compiler with language extensions and a code generator targeting Microsoft's Intermediate Language (MSIL) and integration with Visual Studio .NET Integrated development environment. The purpsoe of this project is to provide seamless integration between .NET and Prolog by compiling Prolog code into reusable .NET objects that leverage the rich feature set provided by the .NET framework. This makes it easy to develop applications that combine the powerful features of both imperative and logic programming paradigms, as well as use logic programming as a meta-language to reason about object-oriented programs.