Hello,
I vaguely remember a creation of full first order logic as a programming language, possibly in prolog – is there such a thing?
Also, I recall seeing a simple default reasoner implemented in prolog, but don’t know anymore where – anyone recalling a pointer.
thank you,
Dan