A great Prolog project would be the implementation of Godel's logic language.