Easily QuickCheck your predicates - Logtalk

logtalk.org

Easily QuickCheck your predicates - Logtalk

logtalk.org

@ttmrichter@lemmy.mlM to

Logtalk@lemmy.ml • 3 years ago

Logtalk lgtunit testing tool includes a QuickCheck implementation supporting property-based testing of plain Prolog, Prolog module, and Logtalk code. The too...

Did you know that Logtalk came with an implementation of QuickCheck baked in for free?

This is the first in a series of blog entries showing how to do property-based testing in Logtalk. The real beauty of Logtalk’s implementation is that it supports not only Logtalk, but also any of the supported back-end Prologs. You can use Logtalk to test Prolog code, in short, as well as Logtalk (naturally).

You must log in or register to comment.

Chat

Logtalk@lemmy.ml

!logtalk@lemmy.ml

Create a post

You are not logged in. However you can subscribe from another Fediverse account, for example Lemmy or Mastodon. To do this, paste the following into the search field of your instance: !logtalk@lemmy.ml

A community for discussing the Logtalk programming language. From the web site:

Logtalk is a declarative object-oriented logic programming language that extends and leverages the Prolog language with modern code encapsulation and code reuse mechanisms while also providing improved predicate semantics.

Backed by a variety of popular Prolog back-ends, it is easy for Prolog programmers to get to learn ranging from using it as a sound module system (replacing the unsound module systems typically used in Prologs) to a full-fledged software engineering language incorporating modules, prototypes, classes, protocols, categories, threads, and events, among many other features, into a coherent, well-documented whole that is oozing with examples to illustrate concepts in action as well as practical uses.

Rules are:

Be courteous.
Be on-topic.

Matrix Room

0 users / day
0 users / week
1 user / month
1 user / 6 months
0 subscribers
17 Posts
0 Comments
Modlog

mods:
@ttmrichter@lemmy.ml