Deploy in 115+ regions with the modern database for every enterprise.
MongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
Start Free
$300 in Free Credit Towards Top Cloud Services
Build VMs, containers, AI, databases, storage—all in one place.
Start your project in minutes. After credits run out, 20+ products include free monthly usage. Only pay when you're ready to scale.
A pure java based prolog engine. This is a fork of the OpenSource Kernel Prolog from Paul Tarau (BinNet Corp.).
This project was abandoned in favor of GNUProlog for Java: http://www.gnu.org/software/gnuprologjava/
Learn basic constraint logic programming by solving logic word puzzles. Go to http://eclipse.dougedmunds.com . This tutorial will show you how to solve easy 1 star to hard 5 star puzzles, using the eCLiPSe-CLP language (available at http://eclipseclp.org/).
Don't confuse this programming language (a prolog language) with the IDE for Java.
Access competitive interest rates on your digital assets.
Generate interest, borrow against your crypto, and trade a range of cryptocurrencies — all in one platform.
Geographic restrictions, eligibility, and terms apply.
MatForce is a compiler that translates MatLab scripts into self-contained C++ code, producing human-readable, extensible C++ sources that can be fitted to the needs of the encapsulating application.
GASPAR implements an dialectical argumentation framework for instantiating the artificial intellect of a software agent. In this artilect, motivations are represented in mental faculties which argue why and how these motivations can be adopted.