n-prolog project Summary