C-prolog

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.

Free Online Dictionary of Computing