protocol
metagol_example_protocol
Convenient learning predicates for use in examples and unit tests.
Author: Paulo Moura.
Version: 0:1:0
Date: 2019-05-07
License: BSD 3-Clause License
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)