.. 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)