|
|
|
|
|
|
by queensnake
2626 days 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? |
|
|