Программы sprolog.sf.net

Small Prolog — переводчик Prolog, первоначально разработанный Анри де Фероуди и распространяемый дискетой C User's Group No 297. Он получил известность, потому что он был встроен в windows NT сетевого кода.