Need AI -> C compiler

[Mr. HappyWOWface]

Hello Progammers of the World,

I need a PROLOG to C compiler.  Sounds a little strange but does
such a beast exist?  I need to do so heavy AI and Prolog was the first
thing that came to mine.  If there is something better (ya never know)
please tell me, but it has to be able to compile it's source code into C.

Thanx for the Help and please reply E-mail.

  - Stephen Lesniewski
     spl at topaz.rutgers.edu