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

SLPG (генератор полуавтоматической логики) является академическим инструментом, целью которого является помощь неопытным программистам логики в разработке программ Prolog с использованием систематической методологии.