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_calls
Public interface¶
learn/3
¶
Learns from a set of positive examples and a set of negative examples and returns the learned program.
Compilation flags:
static
Template:
learn(PositiveExamples,NegativeExamples,Program)
Mode and number of proofs:
learn(@list(example),@list(example),-list(term))
- zero_or_one
learn/2
¶
Learns from a set of positive examples and a set of negative examples and prints the learned program.
Compilation flags:
static
Template:
learn(PositiveExamples,NegativeExamples)
Mode and number of proofs:
learn(@list(example),@list(example))
- zero_or_one
learn_seq/2
¶
Learns from a sequence of examples represented as a list of PositiveExamples/NegativeExamples elements and returns the learned program.
Compilation flags:
static
Template:
learn_seq(Examples,Program)
Mode and number of proofs:
learn_seq(@list(example),-list(clause))
- zero_or_one
pclauses/2
¶
Converts a learned program into a list of clauses.
Compilation flags:
static
Template:
pclauses(Program,Clauses)
Mode and number of proofs:
pclauses(@list(term),-list(clause))
- one
pprint/1
¶
Prints a learned program.
Compilation flags:
static
Template:
pprint(Program)
Mode and number of proofs:
pprint(@list(term))
- one
metarule_next_id/1
¶
Compilation flags:
dynamic
Operators¶
(none)
Remarks¶
(none)