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)