.. index:: metagol_example_protocol .. _metagol_example_protocol/0:

.. rst-class:: right

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)

.. contents:: :local: :backlinks: top

Public predicates

.. index:: learn/1 .. _metagol_example_protocol/0::learn/1:

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

---

.. index:: learn/0 .. _metagol_example_protocol/0::learn/0:

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)