请问用什么编译器啊

Prolog不怎么用编译器吧，很少把它编译成二进制执行文件。因为它是解释型语言，又不是编译型语言，这方面更像是Python、Ruby，而不是C、C++。
虽然也有能Prolog编译成二进制文件的软件，像Turbo Prolog、GNU Prolog貌似可以。但运行Prolog，一般是用解释器的。现在SWI- Prolog比较流行，可以安装这个。