Minor updates about prolog implementations