项目作者： ngangavic
项目描述 ：
Logic Programming is the name given to a distinctive style of programming, very different from that of conventional programming languages such as C++ and Java. Logic programming is a programming paradigm based on mathematical logic. In this paradigm the programmer specifies relationships among data values (this constitutes a logic program) and then poses queries to the execution environment (usually an interactive interpreter) in order to see whether certain relationships hold. Putting this in another way, a logic program, through explicit facts and rules, defines a base of knowledge from which implicit knowledge can be extracted. Prolog and LISP two most popular Logic Programming languages.
高级语言： Prolog
项目地址: git://github.com/ngangavic/swi-prolog.git
