12/1    A while back, some folks expressed opinions regarding prolog
        implementations. I didn't find them grepping the motd archive.
        I'm looking to embed some logic system into a larger product,
        any recommendations?                            -- Marco
        \_ I like yap and xsb.  -- ilyas