|
|
|
|
|
|
by cscurmudgeon
3535 days 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. |
|
|