Hello, is it possible to use Python as "logic lanuage" ? I have found the project "formula", a logical language coded with python, and Chris Meyers "Prolog interpreter". I have heard from "holmes", but can not find any information about it. Do you know other sources? Ingo