Prolog used in smart contract system for real estate transactions