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
Vyper is a contract-oriented, pythonic programming language that targets the Ethereum Virtual Machine (EVM).
Security: It should be possible and natural to build secure smart-contracts in Vyper.
Language and compiler simplicity: The language and the compiler implementation should strive to be simple.
Auditability: Vyper code should be maximally human-readable. Furthermore, it should be maximally difficult to write misleading code. Simplicity for the reader is more important than simplicity for the writer, and simplicity for readers with low prior experience with Vyper (and low prior experience with programming in general) is particularly important.
|
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
Smart contract developers
|
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/
|
Reviews/
|
Reviews/
|
Reviews/
|
|||
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 InformationProlog
Founded: 1972
en.wikipedia.org/wiki/Prolog
|
Company InformationSQL
Founded: 1974
sourceforge.net/software/product/SQL/
|
Company InformationVyper
Founded: 2017
docs.vyperlang.org/en/stable/
|
Company InformationWebAssembly
Founded: 2015
webassembly.org
|
|||
Alternatives |
Alternatives |
Alternatives |
Alternatives |
|||
|
||||||
|
|
|||||
|
|
|||||
Categories |
Categories |
Categories |
Categories |
|||
Integrations
Actable AI
Apache Spark
Arch
Atom
Baichuan-13B
BoxLang
Clarity Security
Claude Sonnet 3.7
Convex
GPT-4.1
|
Integrations
Actable AI
Apache Spark
Arch
Atom
Baichuan-13B
BoxLang
Clarity Security
Claude Sonnet 3.7
Convex
GPT-4.1
|
Integrations
Actable AI
Apache Spark
Arch
Atom
Baichuan-13B
BoxLang
Clarity Security
Claude Sonnet 3.7
Convex
GPT-4.1
|
Integrations
Actable AI
Apache Spark
Arch
Atom
Baichuan-13B
BoxLang
Clarity Security
Claude Sonnet 3.7
Convex
GPT-4.1
|
|||
|
|
|
|