> VAMPIRE has a special mode for working with very large knowledge bases and can answer queries to them.

Does this mean it can somewhat replace Prolog? I forget why Prolog doesn't use full logic, but, does Vampire find a way to get around the need for Prolog's more limited, Horn clauses? Anyone know?