We describe an experimental approach toward implementing a commonsense "microtheory" for buying and selling. Our prototype system characterizes how intelligent agents hold items and money, how they buy and sell items, and the way money and items are transferred. The ontology of the system includes money (cash, check, credit card), agents (people, organizations), items (movable, real estate, service), barter, and the notions of transfer, loan, buying by installments, profit, and loss.

Recently, there have been some attempts towards developing programming languages based on situation theory. These languages employ situation-theoretic constructs with varying degrees of divergence from the ontology of the theory. In this paper, we review three of these programming languages.