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

SQL is a domain-specific programming language used for accessing, managing, and manipulating relational databases and relational database management systems.

About

Scheme is a general-purpose computer programming language. It is a high-level language, supporting operations on structured data such as strings, lists, and vectors, as well as operations on more traditional data such as numbers and characters. While Scheme is often identified with symbolic applications, its rich set of data types and flexible control structures make it a truly versatile language. Scheme has been employed to write text editors, optimize compilers, operating systems, graphics packages, expert systems, numerical applications, financial analysis packages, virtual reality systems, and practically every other type of application imaginable. Scheme is a fairly simple language to learn since it is based on a handful of syntactic forms and semantic concepts and since the interactive nature of most implementations encourages experimentation. Scheme is a challenging language to understand fully.

About

WebAssembly (abbreviated Wasm) is a binary instruction format for a stack-based virtual machine. Wasm is designed as a portable compilation target for programming languages, enabling deployment on the web for client and server applications. The Wasm stack machine is designed to be encoded in a size- and load-time-efficient binary format. WebAssembly aims to execute at native speed by taking advantage of common hardware capabilities available on a wide range of platforms. WebAssembly describes a memory-safe, sandboxed execution environment that may even be implemented inside existing JavaScript virtual machines. When embedded in the web, WebAssembly will enforce the same-origin and permissions security policies of the browser. WebAssembly is designed to be pretty-printed in a textual format for debugging, testing, experimenting, optimizing, learning, teaching, and writing programs by hand. The textual format will be used when viewing the source of Wasm modules on the web.

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

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

Audience

Developers and database admins

Audience

Professionals in need of a solution to write text editors, optimize compilers, build operating systems, create graphics packages, and manage expert systems

Audience

Developers

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

Free
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 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

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

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

Company Information

SQL
Founded: 1974
sourceforge.net/software/product/SQL/

Company Information

Scheme
www.scheme.com/tspl4/intro.html#./intro:h0

Company Information

WebAssembly
Founded: 2015
webassembly.org

Alternatives

XAML

XAML

Microsoft

Alternatives

dbt

dbt

dbt Labs

Alternatives

Alternatives

QML

QML

Qt
AssemblyScript

AssemblyScript

The AssemblyScript Project
D

D

D Language Foundation
Java

Java

Oracle
Racket

Racket

Racket Language

Categories

Categories

Categories

Categories

Integrations

100x
Channel
Claude
Galaxy
Gemini 2.5 Flash
Gemini Advanced
Gemini Flash
GoSpotCheck
Llama 3.2
Llama 4 Maverick
Llama 4 Scout
PowerBroker
Qwen3
R2 SQL
Replit Agent
SQL Index Manager
TextMate
Typora
Windmill
Zed

Integrations

100x
Channel
Claude
Galaxy
Gemini 2.5 Flash
Gemini Advanced
Gemini Flash
GoSpotCheck
Llama 3.2
Llama 4 Maverick
Llama 4 Scout
PowerBroker
Qwen3
R2 SQL
Replit Agent
SQL Index Manager
TextMate
Typora
Windmill
Zed

Integrations

100x
Channel
Claude
Galaxy
Gemini 2.5 Flash
Gemini Advanced
Gemini Flash
GoSpotCheck
Llama 3.2
Llama 4 Maverick
Llama 4 Scout
PowerBroker
Qwen3
R2 SQL
Replit Agent
SQL Index Manager
TextMate
Typora
Windmill
Zed

Integrations

100x
Channel
Claude
Galaxy
Gemini 2.5 Flash
Gemini Advanced
Gemini Flash
GoSpotCheck
Llama 3.2
Llama 4 Maverick
Llama 4 Scout
PowerBroker
Qwen3
R2 SQL
Replit Agent
SQL Index Manager
TextMate
Typora
Windmill
Zed
Claim Prolog and update features and information
Claim Prolog and update features and information
Claim SQL and update features and information
Claim SQL and update features and information
Claim Scheme and update features and information
Claim Scheme and update features and information
Claim WebAssembly and update features and information
Claim WebAssembly and update features and information