Ada

Ada

AdaCore
Java

Java

Oracle

About

Ada is a state-of-the-art programming language that development teams worldwide are using for critical software, from microkernels and small-footprint, real-time embedded systems to large-scale enterprise applications, and everything in between. Why use Ada? In short, because you want to write reliable and efficient code, with confidence that it works, and not waste time and effort in the process. Ada is unique among languages in how it helps you detect and eliminate bugs early in the software life cycle when they are least expensive to correct. And as evidenced by the many successfully fielded applications that need to meet a hard time or space constraints, Ada helps you build software that is reliable, safe, and secure without sacrificing performance. At the technical level, Ada has everything you might expect in a modern language. Concurrent programming features, including support for multicore.

About

The Java™ Programming Language is a general-purpose, concurrent, strongly typed, class-based object-oriented language. It is normally compiled to the bytecode instruction set and binary format defined in the Java Virtual Machine Specification. In the Java programming language, all source code is first written in plain text files ending with the .java extension. Those source files are then compiled into .class files by the javac compiler. A .class file does not contain code that is native to your processor; it instead contains bytecodes — the machine language of the Java Virtual Machine1 (Java VM). The java launcher tool then runs your application with an instance of the Java Virtual Machine.

About

Prolog is a logic programming language associated with artificial intelligence and computational linguistics. Prolog has its roots in first-order logic, a formal logic, and unlike many other programming languages, Prolog is intended primarily as a declarative programming language, the program logic is expressed in terms of relations, represented as facts and rules. A computation is initiated by running a query over these relations. Prolog was one of the first logic programming languages and remains the most popular such language today, with several free and commercial implementations available. The language has been used for theorem proving, expert systems, term rewriting, type systems, and automated planning, as well as its original intended field of use, natural language processing. Modern Prolog environments support the creation of graphical user interfaces, as well as administrative and networked applications.

About

Simple, fast, safe, and compiled. For developing maintainable software. Simple language for building maintainable programs. You can learn the entire language by going through the documentation over a weekend, and in most cases, there's only one way to do something. This results in simple, readable, and maintainable code. This results in simple, readable, and maintainable code. Despite being simple, V gives a lot of power to the developer and can be used in pretty much every field, including systems programming, webdev, gamedev, GUI, mobile, science, embedded, tooling, etc. V is very similar to Go. If you know Go, you already know 80% of V. Bounds checking, No undefined values, no variable shadowing, immutable variables by default, immutable structs by default, option/result and mandatory error checks, sum types, generics, and immutable function args by default, mutable args have to be marked on call.

Platforms Supported

Windows
Mac
Linux
Cloud
On-Premises
iPhone
iPad
Android
Chromebook

Platforms Supported

Windows
Mac
Linux
Cloud
On-Premises
iPhone
iPad
Android
Chromebook

Platforms Supported

Windows
Mac
Linux
Cloud
On-Premises
iPhone
iPad
Android
Chromebook

Platforms Supported

Windows
Mac
Linux
Cloud
On-Premises
iPhone
iPad
Android
Chromebook

Audience

Development teams interested in a solution to create small and large-scale enterprise applications

Audience

Developers looking for a Programming Language solution

Audience

Anyone in need of a declarative language for theorem proving, expert systems, term rewriting, and more

Audience

Developers interested in a language for building maintainable programs

Support

Phone Support
24/7 Live Support
Online

Support

Phone Support
24/7 Live Support
Online

Support

Phone Support
24/7 Live Support
Online

Support

Phone Support
24/7 Live Support
Online

API

Offers API

API

Offers API

API

Offers API

API

Offers API

Screenshots and Videos

Screenshots and Videos

Screenshots and Videos

Screenshots and Videos

Pricing

No information available.
Free Version
Free Trial

Pricing

Free
Free Version
Free Trial

Pricing

No information available.
Free Version
Free Trial

Pricing

Free
Free Version
Free Trial

Reviews/Ratings

Overall 0.0 / 5
ease 0.0 / 5
features 0.0 / 5
design 0.0 / 5
support 0.0 / 5

This software hasn't been reviewed yet. Be the first to provide a review:

Review this Software

Reviews/Ratings

Overall 5.0 / 5
ease 5.0 / 5
features 5.0 / 5
design 5.0 / 5

Reviews/Ratings

Overall 0.0 / 5
ease 0.0 / 5
features 0.0 / 5
design 0.0 / 5
support 0.0 / 5

This software hasn't been reviewed yet. Be the first to provide a review:

Review this Software

Reviews/Ratings

Overall 0.0 / 5
ease 0.0 / 5
features 0.0 / 5
design 0.0 / 5
support 0.0 / 5

This software hasn't been reviewed yet. Be the first to provide a review:

Review this Software

Training

Documentation
Webinars
Live Online
In Person

Training

Documentation
Webinars
Live Online
In Person

Training

Documentation
Webinars
Live Online
In Person

Training

Documentation
Webinars
Live Online
In Person

Company Information

AdaCore
www.adacore.com/about-ada

Company Information

Oracle
docs.oracle.com/javase/8/docs/technotes/guides/language/index.html

Company Information

Prolog
Founded: 1972
en.wikipedia.org/wiki/Prolog

Company Information

V Programming Language
United States
vlang.io

Alternatives

Alternatives

Alternatives

XAML

XAML

Microsoft

Alternatives

QML

QML

Qt
Swift

Swift

Apple
Zig

Zig

Zig Software Foundation

Categories

Categories

Categories

Categories

Integrations

Algoreus
Amazon CodeGuru
Azure Cloud Services
Bluefish
Eclipse Dirigible
Eclipse Orion
Fine
Howdy
Hyland Document Filters
Komodo Edit
Llama 4 Scout
MOCEAN
MPLAB X IDE
PuppyGraph
Riscure True Code
SikuliX
Steadybit
SysTools Email Backup Wizard
TABEX4
bolt.diy

Integrations

Algoreus
Amazon CodeGuru
Azure Cloud Services
Bluefish
Eclipse Dirigible
Eclipse Orion
Fine
Howdy
Hyland Document Filters
Komodo Edit
Llama 4 Scout
MOCEAN
MPLAB X IDE
PuppyGraph
Riscure True Code
SikuliX
Steadybit
SysTools Email Backup Wizard
TABEX4
bolt.diy

Integrations

Algoreus
Amazon CodeGuru
Azure Cloud Services
Bluefish
Eclipse Dirigible
Eclipse Orion
Fine
Howdy
Hyland Document Filters
Komodo Edit
Llama 4 Scout
MOCEAN
MPLAB X IDE
PuppyGraph
Riscure True Code
SikuliX
Steadybit
SysTools Email Backup Wizard
TABEX4
bolt.diy

Integrations

Algoreus
Amazon CodeGuru
Azure Cloud Services
Bluefish
Eclipse Dirigible
Eclipse Orion
Fine
Howdy
Hyland Document Filters
Komodo Edit
Llama 4 Scout
MOCEAN
MPLAB X IDE
PuppyGraph
Riscure True Code
SikuliX
Steadybit
SysTools Email Backup Wizard
TABEX4
bolt.diy
Claim Ada and update features and information
Claim Ada and update features and information
Claim Java and update features and information
Claim Java and update features and information
Claim Prolog and update features and information
Claim Prolog and update features and information
Claim V Programming Language and update features and information
Claim V Programming Language and update features and information