I shall now consider the practical application of these theoretical
developments by describing a possible architecture which would enable
logical decision procedures to be integrated into conventional computer
programs.
I illustrate
the basic types of construct that the programmer might employ
with examples of code using a C-like syntax.