OpenCyc یک نسخه برش خورده از فناوری Cyc ، بزرگترین و کاملترین پایگاه دانش عمومی در جهان و موتور استدلال عمومی است.Cycorp ، سازندگان Cyc ، یک سازمان مستقل به نام OpenCyc.org برای انتشار و مدیریت OpenCyc ایجاد کرده اند و متعهد شده اند خط لوله ای را که از طریق آن تمام فناوری فعلی و آینده Cyc به ResearchCyc (در دسترس برای تحقیق و توسعه در دانشگاه و صنعت) است.) و سپس OpenCyc.
سایت اینترنتی:
http://opencyc.org/دسته بندی ها
گزینه های دیگر برای OpenCyc برای Mac
6
SWI Prolog
SWI-Prolog یک محیط جامع نرم افزار رایگان Prolog را برای نرم افزارهای برنامه نویسی ارائه می دهد که استدلال منطقی دارند.
- نرم افزار رایگان
- PortableApps.com
- Windows
- Mac
- Linux