An algorithm that infers theories from facts

Open in new window