Python Logic-programming Resources