object
metagol¶
Inductive logic programming (ILP) system based on meta-interpretive learning.
Author: Metagol authors; adapted to Logtalk by Paulo Moura.
Version: 0.17
Date: 2019/1/19
Copyright: Copyright 2016 Metagol authors; Copyright 2018-2019 Paulo Moura
License: BSD 3-Clause License
Compilation flags:
static, context_switching_callsPublic interface¶
learn/3¶
Learns from a set of positive examples and a set of negative examples and returns the learned program.
Compilation flags:
staticTemplate:
learn(PositiveExamples,NegativeExamples,Program)Mode and number of proofs:
learn(@list(example),@list(example),-list(term)) - zero_or_onelearn/2¶
Learns from a set of positive examples and a set of negative examples and prints the learned program.
Compilation flags:
staticTemplate:
learn(PositiveExamples,NegativeExamples)Mode and number of proofs:
learn(@list(example),@list(example)) - zero_or_onelearn_seq/2¶
Learns from a sequence of examples represented as a list of PositiveExamples/NegativeExamples elements and returns the learned program.
Compilation flags:
staticTemplate:
learn_seq(Examples,Program)Mode and number of proofs:
learn_seq(@list(example),-list(clause)) - zero_or_onepclauses/2¶
Converts a learned program into a list of clauses.
Compilation flags:
staticTemplate:
pclauses(Program,Clauses)Mode and number of proofs:
pclauses(@list(term),-list(clause)) - onepprint/1¶
Prints a learned program.
Compilation flags:
staticTemplate:
pprint(Program)Mode and number of proofs:
pprint(@list(term)) - onemetarule_next_id/1¶
Compilation flags:
dynamicOperators¶
(none)
Remarks¶
(none)