PyLog -- Eine Bibliothek für die Prädikatenlogik erster Ordnung in Python - So etwas wie Prolog in Python