这是一个学习Prolog语言时的例子，是基于事实与逻辑的程序。-This is an example of learning Prolog language are based on fact and logic programs.

here are some prolog programs like armstrong no. ,tower of hanoi , sorting of different types,monkey-banana problem , Queens problem,etc

--books which provide a theoretical basis for logic programming --books which describe how to write programs in Prolog (sometimes even in particular Prolog systems) --books which describe alternative logic programming languages like constrain