โปรแกรมตาม olp-api.sf.net

การเขียนโปรแกรมตรรกะทางวิทยา, สั้น ๆ OLP, เป็นนวนิยายการรวมกันของเหตุผลทางเทววิทยาและการเขียนโปรแกรมตรรกะ. ช่วยให้โปรแกรม Prolog สามารถนําเข้า ontologies แบบไดนามิกและใช้คําจาก ontologies เหล่านี้