2 ms·
It's even nicer in alphaProlog where you can express the scoping implied by lambda terms http://homepages.inf.ed.ac.uk/jcheney/programs/aprolog/ http://homepage
by swannodette 14y ago
It's even nicer in alphaProlog where you can express the scoping implied by lambda terms http://homepages.inf.ed.ac.uk/jcheney/programs/aprolog/ http://homepages.inf.ed.ac.uk/jcheney/programs/aprolog/