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

Test Mace is a modern powerful crossplatform tool for working with an API and creating automated API tests. Create requests and scenarios using variables, authentication, autocomplete feature and syntax highlighting. Build complex scenarios using our convenient and simple UI interface. Perform full regression testing with just one click. Assign a request result to a variable and get access from other nodes. Save authorization tokens, response headers or parts of a response body. Run your scenarios in different environment contexts. Use this to organize development, stage and production environments. Embedded authentication methods will help you to do authentication if you use one of the most popular types. You can use quick share feature to share your request with colleagues. Just press a button to copy a specific node's url. All that you need now is to send this url to your teammate.

About

From powerful API client features to advanced testing and monitoring, Testfully does it all. Enjoy the flexibility of cloud and offline-only storage, seamless team collaboration, and easy migration, all in one multi-platform tool. Easily transfer your data from Postman or Insomnia directly into Testfully. Flexible and secure, set global, environment, and folder variables scoped to workspace or user. Customize auth, parameters, headers, and body to build any HTTP request easily. Work together effortlessly, add teams, assign roles, and control folder access. Supports major schemes like OAuth2 for secure and streamlined authorization. From basic to complex, Testfully enables quick, effective testing without the need for coding, making advanced API testing accessible and hassle-free. Execute all requests in a folder simultaneously, sequentially, or randomly with just one click. Validate responses and perform contract testing using a declarative format, no coding is needed.

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

Development teams or inviduals who want an API testing solution

Audience

Teams in search of a solution to manage testing and monitoring while improving collaboration

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

$4 per month
Free Version
Free Trial

Pricing

$49 per month
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

TestMace
Founded: 2018
Russia
testmace.com

Company Information

Testfully
Australia
testfully.io

Alternatives

XAML

XAML

Microsoft

Alternatives

dbt

dbt

dbt Labs

Alternatives

Alternatives

QML

QML

Qt
Hoppscotch

Hoppscotch

Hoppscotch LTD.
Racket

Racket

Racket Language
SOAPSonar

SOAPSonar

Crosscheck Networks

Categories

Categories

Categories

Categories

Integrations

Abstra
Amazon SageMaker Unified Studio
Apache Hive
Apache Spark
Claude
CodeSquire
ConTEXT Editor
Eclipse Dirigible
Falcon-7B
Lua
Mage
Nextdata
Onehouse
Quandis Business Objects
Qwen2
SecureFlag
Shakker
Transpose
Unremot
XTDB

Integrations

Abstra
Amazon SageMaker Unified Studio
Apache Hive
Apache Spark
Claude
CodeSquire
ConTEXT Editor
Eclipse Dirigible
Falcon-7B
Lua
Mage
Nextdata
Onehouse
Quandis Business Objects
Qwen2
SecureFlag
Shakker
Transpose
Unremot
XTDB

Integrations

Abstra
Amazon SageMaker Unified Studio
Apache Hive
Apache Spark
Claude
CodeSquire
ConTEXT Editor
Eclipse Dirigible
Falcon-7B
Lua
Mage
Nextdata
Onehouse
Quandis Business Objects
Qwen2
SecureFlag
Shakker
Transpose
Unremot
XTDB

Integrations

Abstra
Amazon SageMaker Unified Studio
Apache Hive
Apache Spark
Claude
CodeSquire
ConTEXT Editor
Eclipse Dirigible
Falcon-7B
Lua
Mage
Nextdata
Onehouse
Quandis Business Objects
Qwen2
SecureFlag
Shakker
Transpose
Unremot
XTDB
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 TestMace and update features and information
Claim TestMace and update features and information
Claim Testfully and update features and information
Claim Testfully and update features and information