object

help

Command-line help for Logtalk built-in control constructs, predicates, non-terminals, and methods.

Author: Paulo Moura
Version: 0.18
Date: 2018/6/29
Compilation flags:
static, context_switching_calls
Implements:
public forwarding

Public interface

help/0

Prints instructions on how to use the help tool.

Compilation flags:
static
Mode and number of proofs:
help - one

(/)/2

Provides help on the Functor/Arity built-in control construct, directive, predicate, or method.

Compilation flags:
static
Template:
Functor/Arity
Mode and number of proofs:
+atom/ +integer - zero_or_one

(//)/2

Provides help on the Functor//Arity built-in non-terminal.

Compilation flags:
static
Template:
Functor//Arity
Mode and number of proofs:
+atom// +integer - zero_or_one

completion/2

Provides a completion pair (Completion-Page) for a given prefix.

Compilation flags:
static
Template:
completion(Prefix,Completion)
Mode and number of proofs:
completion(+atom,-pair) - zero_or_more

completions/2

Provides a list of completions pairs (Completion-Page) for a given prefix.

Compilation flags:
static
Template:
completions(Prefix,Completions)
Mode and number of proofs:
completions(+atom,-lists(pair)) - zero_or_more

built_in_directive/4

Provides access to the HTML documenting files describing built-in directives.

Compilation flags:
static
Template:
built_in_directive(Functor,Arity,Directory,Basename)
Mode and number of proofs:
built_in_directive(?atom,?integer,-atom,-atom) - zero_or_more

built_in_predicate/4

Provides access to the HTML documenting files describing built-in predicates.

Compilation flags:
static
Template:
built_in_predicate(Functor,Arity,Directory,Basename)
Mode and number of proofs:
built_in_predicate(?atom,?integer,-atom,-atom) - zero_or_more

built_in_method/4

Provides access to the HTML documenting files describing built-in methods.

Compilation flags:
static
Template:
built_in_method(Functor,Arity,Directory,Basename)
Mode and number of proofs:
built_in_method(?atom,?integer,-atom,-atom) - zero_or_more

control_construct/4

Provides access to the HTML documenting files describing built-in control constructs.

Compilation flags:
static
Template:
control_construct(Functor,Arity,Directory,Basename)
Mode and number of proofs:
control_construct(?atom,?integer,-atom,-atom) - zero_or_more

built_in_non_terminal/4

Provides access to the HTML documenting files describing built-in DCG non-terminals.

Compilation flags:
static
Template:
built_in_non_terminal(Functor,Arity,Directory,Basename)
Mode and number of proofs:
built_in_non_terminal(?atom,?integer,-atom,-atom) - zero_or_more

library/0

Provides help on the standard Logtalk library.

Compilation flags:
static
Mode and number of proofs:
library - one

library/1

Provides help on the standard Logtalk library entities, predicates, and non-terminals.

Compilation flags:
static
Template:
library(Topic)
Mode and number of proofs:
library(+entity_identifier) - zero_or_one

manuals/0

Provides access to the Logtalk User and Reference manuals.

Compilation flags:
static
Mode and number of proofs:
manuals - one

Protected interface

(see related entities)

Private predicates

(see related entities)

Operators

(none)

Remarks

(none)