Czy istnieje jakiś wygodny moduł do pythona, umożliwiający programowanie logiczne?
PyLog i pyprolog nie bardzo podobają mi się. Może jakieś inne bindingi do prologa?