It was based on the SB-Prolog language that was also developed at Stony Brook University in 1986.
Побудований на основі мови програмування SB-Prolog, яка в свою чергу була також розроблена в Stony Brook University в 1986.