9 ms·
> 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 forge
by queensnake 7y ago
> 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?