AI helps you reading Science
The GNU Prolog system and its implementation
SAC (2), pp.728-732, (2000)
EI
Abstract
We describe in this paper the GNU-Prolog system, a freesystem consisting of a Prolog compiler and a constraintsolver on finite domains. GNU-Prolog is based on a low-levelmini-assembly platform-independent language that makes itpossible for efficient compilation time, and allows to producesmall stand alone executable files as the result o...More
Code:
Data:
Tags
Comments
数据免责声明
页面数据均来自互联网公开来源、合作出版商和通过AI技术自动分析结果,我们不对页面数据的有效性、准确性、正确性、可靠性、完整性和及时性做出任何承诺和保证。若有疑问,可以通过电子邮件方式联系我们:report@aminer.cn