Limbo – A Reasoning System for First-Order Limited Beliefgithub.com/schwering143 pointsmindcrime9 years ago