I disagree, I think that if you are starting out in the programming world, look
closely at PDC Prolog. It is easier to get results out of and uses the Horn
clause as its basic structure (it is also a typed language, so you don't have
to keep track of loose variables).
Carter