Based on a condensed version of the RuleML 2018’s tutorial, the talk will recap the relationship between logic and legal contracts, followed by the introduction of Logical Production Systems and their current Prolog and JavaScript based implementations, including considerations regarding use in smart contracts.