Prof. Bob Kowalski and his colleagues at Imperial College London announced the Logical Contracts Server that incorporates extensions of LPS (Logic Production System) to facilitate deployment of smart contracts. Its website contains a link to a preliminary version, now available for trial. It also contains a short, three minute video, illustrating an application to the paper-rock-scissor game, with an interface to the Ethereum blockchain.