Extending the functional language Scheme with logical constructs in order to help the functional programmer think logically and the logic programmer think functionally. przeczytaj całość