|
|
|
|
|
|
by GedByrne
2170 days ago
|
|
|
No need to imagine. That would just be Declarative Programming going mainstream? Its just that algorithms like the Prolog’s WAM or the reet used in rules are replaced with neural nets and the like. Rules use the same When Then format acting on a Given fact base. Prologs Horn Clauses can easily be translated into that form. BDD writes all tests in the format Given When Then. It’s already here. |
|
|