gers. 4. Calculus present on sounding. Treatment.?Castor-oil 3'i.i at ni^lit. Enema of soap and water in the morning. 15tli March 1890.?Lateral lithotomy under chloroform after sounding once again, when calculus was present. The operation was straightforward and took about 15 minutes. Calculus oval in form ; yellow in colour ; flat surfaces Y x 1"; weight 30 grains composed of urates. After tre...

We show that designing large situation calculus theories can be simplified by using object-oriented techniques and tools together with established solutions to the frame problem. Situation calculus (McCarthy & Hayes 1969) is one of the leading logical representations for action and change, but large situation calculus theories are not easy to design and maintain, nor are they flexible for exten...

In most theorem proving applications, a proper treatment of equational theories or equality is mandatory. In this paper we show how to integrate a modern treatment of equality in the hyper tableau calculus. It is based on splitting of positive clauses and an adapted version of the superposition inference rule, where equations used for superposition are drawn (only) from a set of positive unit c...

This paper investigates an approach to substitution alternative to the implicit treatment of the λ-calculus and the explicit treatment of explicit substitution calculi. In this approach, substitutions are delayed (but not executed) explicitly. We implement this idea with two calculi, one where substitution is a primitive construction of the calculus, the other where substitutions is represented...