protocol

`metagol_example_protocol`

Convenient learning predicates for use in examples and unit tests.

Author: Paulo Moura.
Version: 0:1:0
Date: 2019-05-07

License: BSD 3-Clause License

Compilation flags:

static

Dependencies:

(none)

Remarks:

(none)

Inherited public predicates:

(none)

Public predicates 

Learns and returns set of clauses.

Compilation flags:

static

Template:

learn(Clauses)

Mode and number of proofs:

learn(-list(clause)) - zero_or_more

Learns and prints a set of clauses.

Compilation flags:

static

Mode and number of proofs:

learn - zero_or_more

(none)

(none)

(none)