🇿 Jean-Christophe Rohner Håkan Kjellerstrand Using logic programming for theory representation and scientific inference (2021)