Programming in it is a little like prolog. You declare a bunch of facts and you declare some pattern rules. Oh, and there is this cute little story too: http:

Programming in it is a little like prolog. You declare a bunch of facts and you declare some pattern rules. Oh, and there is this cute little story too: http://www.math.psu.edu/clemens/IF/Turing/source.html http://www.math.psu.edu/clemens/IF/Turing/source.html