https://hackershare.dev/bookmarks/488414
Logica: Modern Logic Programming