.. index:: single: 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)

