protocol
metagol_example_protocol¶
Convenient learning predicates for use in examples and unit tests.
Author: Paulo Moura.
Version: 0.1
Date: 2019/5/7
License: BSD 3-Clause License
Compilation flags:
static(no dependencies on other entities)
Public interface¶
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 interface¶
(none)
Private predicates¶
(none)
Operators¶
(none)
Remarks¶
(none)