metagol_example_protocol — Logtalk 3.100.1

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)