GNU Prolog is a free Prolog compiler with constraint solving over finite domains. GNU Prolog accepts Prolog constraint programs and produces native binaries (like gcc does from a C source). The obtained executable is then stand-alone. The size of this executable can be quite small since GNU Prolog can avoid to link the code of most unused built-in predicates. The performances of GNU Prolog are very encouraging. Beside the native-code compilation, GNU Prolog offers a classical interactive interpreter (top-level) with a debugger. The Prolog part conforms to the ISO standard for Prolog with many extensions very useful in practice. GNU Prolog also includes an efficient constraint solver over Finite Domains (FD). This opens contraint logic programming to the user combining the power of constraint programming to the declarativity of logic programming.
Offers basic functionality such as reading and erasing diagnostic trouble codes
Mall Creeps
Benchmark for Video creation, E-learning, 3D Modeling and Office Productivity used by PC OEMs, developers, IT departments and more
Aircraft Cost Evaluator helps compare aircraft costs, performance, specs, ownership & more
Affordable library management package for schools, churches and other orgs
Mobile Marketing Pro allows users to create mobile marketing campaigns and info services with automated subscription and deletion
Shooting Star is the intelligent auction management system
Microsoft Outlook Contact Management AddIn for Real Estate Agents
Comments