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)