3 ms·
No, it is not an unfair comparison. Those systems were not hand crafted. They were implemented via first-order logic theorem provers. FOL theorem proving is Tur
by cscurmudgeon 10y ago
No, it is not an unfair comparison. Those systems were not hand crafted. They were implemented via first-order logic theorem provers. FOL theorem proving is Turing complete and extremely expressive.
This not a me vs you camp. Just a scientific statement.