An implementation of Prolog in C, developed by F. Pereira et al in July 1982. It had no garbage collection. It is not in the public domain.