metagol — Logtalk 3.100.1

object

# `metagol`

Inductive logic programming (ILP) system based on meta-interpretive learning.

Availability:
`logtalk_load(metagol(loader))`
Author: Metagol authors; adapted to Logtalk by Paulo Moura.
Version: 0:24:4
Date: 2024-03-15
Copyright: Copyright 2016 Metagol authors; Copyright 2018-2024 Paulo Moura
License: BSD-3-Clause
Compilation flags:
`static, context_switching_calls`
Implements:
`public` expanding
Provides:
logtalk::message_tokens//2
logtalk::message_prefix_stream/4
Uses:
coroutining
integer
list
logtalk
meta
timeout
Remarks:
(none)
Inherited public predicates:
goal_expansion/2 term_expansion/2

## Public predicates

### `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_more`

### `learn/2`

Learns from a set of positive examples and a set of negative examples and pretty prints the learned program.

Compilation flags:
`static`
Template:
`learn(PositiveExamples,NegativeExamples)`
Mode and number of proofs:
`learn(@list(example),@list(example))` - `zero_or_more`

### `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`

### `learn_with_timeout/4`

Learns from a set of positive examples and a set of negative examples and returns the learned program constrained by the given timeout or its default value.

Compilation flags:
`static`
Template:
`learn_with_timeout(PositiveExamples,NegativeExamples,Program,Timeout)`
Mode and number of proofs:
`learn_with_timeout(@list(example),@list(example),-list(term),+number)` - `zero_or_one_or_error`
`learn_with_timeout(@list(example),@list(example),-list(term),-number)` - `zero_or_one_or_error`
Exceptions:
Learning does not complete in the allowed time:
`timeout(learn(PositiveExamples,NegativeExamples,Program))`

### `program_to_clauses/2`

Converts a learned program into a list of clauses.

Compilation flags:
`static`
Template:
`program_to_clauses(Program,Clauses)`
Mode and number of proofs:
`program_to_clauses(@list(term),-list(clause))` - `one`

### `pprint/1`

Pretty prints a learned program.

Compilation flags:
`static`
Template:
`pprint(Program)`
Mode and number of proofs:
`pprint(@list(term))` - `one`

### `metarule/6`

Compilation flags:
`static`

### `head_pred/1`

Compilation flags:
`static`

### `body_pred/1`

Compilation flags:
`dynamic`

### `ibk/3`

Compilation flags:
`static`

### `func_test/3`

Compilation flags:
`static`

### `functional/0`

Compilation flags:
`dynamic`

### `min_clauses/1`

Compilation flags:
`dynamic`

### `max_clauses/1`

Compilation flags:
`dynamic`

### `max_inv_preds/1`

Compilation flags:
`dynamic`

### `metarule_next_id/1`

Compilation flags:
`dynamic`

### `timeout/1`

Compilation flags:
`dynamic`

## Protected predicates

### `pprint_clause/1`

Compilation flags:
`static`

### `pprint_clauses/1`

Compilation flags:
`static`

### `compiled_pred_call/2`

Compilation flags:
`dynamic`

### `body_pred_call/2`

Compilation flags:
`dynamic`

### `type/3`

Compilation flags:
`dynamic`

## Private predicates

(no local declarations; see entity ancestors if any)

## Operators

(none)