471 followers
"Inspired by the wonderful design and implementation of the Prolog language .." Skolem machines and geometrical logic http://t.co/1PNpdPUNH6
"Inspired by the wonderful design and implementation of the Prolog language .." Skolem machines and geometrical logic http://t.co/1PNpdPUNH6