Stony Brook Prolog. A public domain Prolog interpreter for Unix. Distributed under the GNU General Public License.