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
Yap-devel
Jul 20, 2023
High-performance Prolog compiler
YAP is a high-performance Prolog compiler developed at LIACC/Universidade do Porto and at COPPE Sistemas/UFRJ. Its Prolog engine is based in the WAM Warren Abstract Machine, with several optimizations for better performance. YAP follows the Edinburgh tradition, and is largely compatible with the ISO-Prolog standard and with Quintus and SICStus Prolog.
WWW http//www.dcc.fc.up.pt/~vsc/Yap/
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
- 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
- Tuareg-mode.el - Emacs major mode for editing Caml code