An algorithm for proving a goal by recursively breaking it down into sub-goals and trying to prove these until facts are reached. Facts are goals with no sub-goals which are therefore always true. Backward training is the program execution mechanism used by most logic programming language like Prolog.
Opposite: forward chaining.
- Backward combatability
backward combatability humour /bak’w*d k*m-bat’*-bil’*-tee/ (Play on “backward compatibility”) A property of hardware or software revisions in which previous protocols, formats, layouts, etc. are irrevocably discarded in favour of “new and improved” protocols, formats and layouts, leaving the previous ones not merely deprecated but actively defeated. (Too often, the old and new versions cannot definitively […]
- Backward compatibility
backward compatibility jargon Able to share data or commands with older versions of itself, or sometimes other older systems, particularly systems it intends to supplant. Sometimes backward compatibility is limited to being able to read old data but does not extend to being able to write data in a format that can be read by […]
toward the back or rear. with the back foremost. in the reverse of the usual or right way: counting backward from 100. toward the past: to look backward over one’s earlier mistakes. toward a less advanced state; retrogressively: Since the overthrow of the president the country has moved steadily backward. directed toward the back or […]
- Backward compatible
backward compatible backward compatibility