"Simple" Prolog Interpreter Project

[Jules Cisek]

As   an  undergraduate  project,  I'm  going  to  be  writing  a  simple
(relatively speaking, of course :) Prolog interpreter using C on a  UNIX
machine.  Does anyone have any good reference materials they could point
me to, or maybe something online to send to me?

I'm especially looking  for  a  grammar  to  use  for  syntax  checking,
examples  of  structure storing and goal resolution (pseudo code is more
than  welcome),  etc.   I've  looked  at  several  texts   on   parallel
implementations,  but  this  project is not going to be that complex, so
sequential algorithms would be better.  I'm also looking for good memory
usage  algorithms  rather  than  fast  ones (I'd like to port it to a PC
after it's done)... Anything at all will be VERY appreciated.

Since I don't read this newsgroup very often, send E-Mail if possible.

Thanks so much in advance!
-- 
  |\  |     //             Julius A. Cisek   jac423            |  /|
  | \ |   \X/ ->crunch<-   SUNYA, NY USA     @leah.albany.edu  | / |
 O    | IB...M             I do think it's good...             |    O