Chương trình theo slpg.sf.net

SLPG (Semiautomatic Logic Program generator) là một công cụ học thuật có mục tiêu là giúp các lập trình viên logic chưa có kinh nghiệm phát triển các chương trình Prolog bằng cách sử dụng một phương pháp có hệ thống.