(1) This paper deals with the application of an AI language, based on mechanical theorem prover (PROLOG), to deduce drug interactions.
Trover
Definition:
(n.) The gaining possession of any goods, whether by finding or by other means.
(n.) An action to recover damages against one who found goods, and would not deliver them to the owner on demand; an action which lies in any case to recover the value of goods wrongfully converted by another to his own use. In this case the finding, though alleged, is an immaterial fact; the injury lies in the conversion.