protocol

metagol_example_protocol

Convenient learning predicates for use in examples and unit tests.

Availability:
logtalk_load(metagol(loader))
Author: Paulo Moura.
Version: 0:1:1
Date: 2024-03-15
License: BSD-3-Clause
Compilation flags:
static
Dependencies:
(none)
Remarks:
(none)
Inherited public predicates:
(none)

Public predicates

learn/1

Learns and returns set of clauses.

Compilation flags:
static
Template:
learn(Clauses)
Mode and number of proofs:
learn(-list(clause)) - zero_or_more

learn/0

Learns and prints a set of clauses.

Compilation flags:
static
Mode and number of proofs:
learn - zero_or_more

Protected predicates

(none)

Private predicates

(none)

Operators

(none)