not prolog but logical programming in python: https://sites.google.com/site/pydatalog/