bp330       port of BinProlog. Its quick, looks rather like any other 
            edinburgh prolog and comes with copious examples.