A Python implementation of the logic programming language described in the book "Structure and Interpretation of Computer Programs" (SICP). The implementation exploits the Python's generator feature ...
These notes maintain the spirit of SICP by introducing the features of Python in lock step with techniques for abstraction design and a rigorous model of computation. In addition, these notes provide ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results