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:0
Date: 2019-05-07
License: BSD 3-Clause License
Compilation flags:
staticDependencies:
(none)
Remarks:
(none)
Inherited public predicates:
(none)
Public predicates
learn/1
Learns and returns set of clauses.
Compilation flags:
staticTemplate:
learn(Clauses)Mode and number of proofs:
learn(-list(clause)) - zero_or_morelearn/0
Learns and prints a set of clauses.
Compilation flags:
staticMode and number of proofs:
learn - zero_or_moreProtected predicates
(none)
Private predicates
(none)
Operators
(none)