RECENT POSTS
- Introduction to FreeBSD Security Best Practices
- Working with Package Management in FreeBSD
- Understanding FreeBSD Security Advisories and Updates
- Troubleshooting Common System Administration Issues in FreeBSD
- Tips for Hardening FreeBSD to achieve System Protection
- Setting Up DHCP Server in FreeBSD
- Secure User and Group Management in FreeBSD Systems
- Secure Remote Access with SSH in FreeBSD
- Optimizing System Performance in FreeBSD
- Network Packet Capture with tcpdump in FreeBSD
- All posts ...
Do you have GDPR compliance issues ?
Check out Legiscope a GDPR compliance software, that will save you weeks of work, automating your documentation, the training of your teams and all processes you need to keep your organisation compliant with privacy regulations
Gprolog
Jul 20, 2023
Free Prolog compiler
GNU Prolog is a free Prolog compiler with constraint solving over finite domains developed by Daniel Diaz.
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 comparable to commercial systems.
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 global variables, OS interface, sockets,….
GNU Prolog also includes an efficient constraint solver over Finite Domains FD. This opens contraint logic pogramming to the user combining the power of constraint programming to the declarativity of logic programming.
Checkout these related ports:
- Zig - Language designed for robustness, optimality, and maintainability
- Zephir - Zephir is a transpiled language used for creating C-extensions for PHP
- Ypsilon - Scheme implementation for real-time applications
- Yorick - Interpreted language for scientific simulations
- Yap - High-performance Prolog compiler
- Yap-devel - High-performance Prolog compiler
- Yabasic - Yet another Basic for Unix and Windows
- Voc - Vishap Oberon Compiler for Oberon-2
- Vala - Programming language and compiler that converts Vala code into C code
- V8 - Open source JavaScript engine by Google
- V8-beta - Open source JavaScript engine by Google
- V - V Programming Language
- Urweb - Ultimate host for embedded domain-specific languages
- Ucc - C Compiler Which Implements the ANSI C89 Standard
- Twelf - Meta-logical framework for deductive systems