Sökt på: Sökresultat

Extending the functional language Scheme with logical constructs in order to help the functional programmer think logically and the logic programmer think functionally.The goal of …