An implementation of Prolog in C, developed by F. Pereira <pereira@research.att.com> et al in July 1982. It had no garbage collection.
It is not in the public domain.