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

Hệ thống Yap Prolog là trình biên dịch Prolog hiệu suất cao tương thích iso. Yap được coi là một trong những hệ thống Prolog có sẵn nhanh nhất. Yap hỗ trợ coroutining, CLP (QR), CHR và tìm kiếm theo chiều sâu. Tabling và song