Chương trình theo olp-api.sf.net

Lập trình logic bản thể học, một thời gian ngắn OLP, là một sự kết hợp mới lạ của lý luận bản thể học và lập trình logic. Nó cho phép các chương trình Prolog để tự động nhập bản thể học và transperantly sử dụng các điều khoản