Started work on Prolog is/2

Lots of TODOs...