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

Plugin PrologTab tích hợp một công cụ suy luận Prolog với cơ sở kiến thức Protege-2000.