PrologStdLibScope

Name	Description
`open at_end_of_stream: Atom`
`open halt: Atom`
`open nl: Atom`
`open repeat: Atom`
`open cut: Atom`

at_end_of_stream

open fun at_end_of_stream(alias: Any): Struct

Parameters

Name	Description
`alias: Any`

ReturnValue

Name	Description
`Struct`

call

open fun call(goal: Any): Struct

Parameters

Name	Description
`goal: Any`

ReturnValue

Name	Description
`Struct`

catch

open fun catch(goal: Any, error: Any, continuation: Any): Struct

Parameters

Name	Description
`goal: Any`
`error: Any`
`continuation: Any`

ReturnValue

Name	Description
`Struct`

throw

open fun throw(error: Any): Struct

Parameters

Name	Description
`error: Any`

ReturnValue

Name	Description
`Struct`

not

open fun not(goal: Any): Struct

Parameters

Name	Description
`goal: Any`

ReturnValue

Name	Description
`Struct`

naf

open fun naf(goal: Any): Struct

Parameters

Name	Description
`goal: Any`

ReturnValue

Name	Description
`Struct`

assert

open fun assert(clause: Any): Struct

Parameters

Name	Description
`clause: Any`

ReturnValue

Name	Description
`Struct`

asserta

open fun asserta(clause: Any): Struct

Parameters

Name	Description
`clause: Any`

ReturnValue

Name	Description
`Struct`

assertz

open fun assertz(clause: Any): Struct

Parameters

Name	Description
`clause: Any`

ReturnValue

Name	Description
`Struct`

arg

open fun arg(index: Any, compound: Any, argument: Any): Struct

Parameters

Name	Description
`index: Any`
`compound: Any`
`argument: Any`

ReturnValue

Name	Description
`Struct`

atom

open fun atom(atom: Any): Struct

Parameters

Name	Description
`atom: Any`

ReturnValue

Name	Description
`Struct`

atomic

open fun atomic(atomic: Any): Struct

Parameters

Name	Description
`atomic: Any`

ReturnValue

Name	Description
`Struct`

between

open fun between(min: Any, max: Any, number: Any): Struct

Parameters

Name	Description
`min: Any`
`max: Any`
`number: Any`

ReturnValue

Name	Description
`Struct`

callable

open fun callable(goal: Any): Struct

Parameters

Name	Description
`goal: Any`

ReturnValue

Name	Description
`Struct`

compound

open fun compound(struct: Any): Struct

Parameters

Name	Description
`struct: Any`

ReturnValue

Name	Description
`Struct`

current_op

open fun current_op(precedence: Any, specifier: Any, functor: Any): Struct

Parameters

Name	Description
`precedence: Any`
`specifier: Any`
`functor: Any`

ReturnValue

Name	Description
`Struct`

op

open fun op(precedence: Any, specifier: Any, functor: Any): Struct

Parameters

Name	Description
`precedence: Any`
`specifier: Any`
`functor: Any`

ReturnValue

Name	Description
`Struct`

findall

open fun findall(template: Any, goal: Any, bag: Any): Struct

Parameters

Name	Description
`template: Any`
`goal: Any`
`bag: Any`

ReturnValue

Name	Description
`Struct`

float

open fun float(number: Any): Struct

Parameters

Name	Description
`number: Any`

ReturnValue

Name	Description
`Struct`

functor

open fun functor(struct: Any, functor: Any, arity: Any): Struct

Parameters

Name	Description
`struct: Any`
`functor: Any`
`arity: Any`

ReturnValue

Name	Description
`Struct`

ground

open fun ground(term: Any): Struct

Parameters

Name	Description
`term: Any`

ReturnValue

Name	Description
`Struct`

integer

open fun integer(number: Any): Struct

Parameters

Name	Description
`number: Any`

ReturnValue

Name	Description
`Struct`

natural

open fun natural(number: Any): Struct

Parameters

Name	Description
`number: Any`

ReturnValue

Name	Description
`Struct`

nonvar

open fun nonvar(number: Any): Struct

Parameters

Name	Description
`number: Any`

ReturnValue

Name	Description
`Struct`

number

open fun number(number: Any): Struct

Parameters

Name	Description
`number: Any`

ReturnValue

Name	Description
`Struct`

var

open fun var(term: Any): Struct

Parameters

Name	Description
`term: Any`

ReturnValue

Name	Description
`Struct`

write

open fun write(term: Any): Struct

Parameters

Name	Description
`term: Any`

ReturnValue

Name	Description
`Struct`

univ

open infix fun Any.univ(other: Any): Struct

Receiver

Name	Description
`Any`

Parameters

Name	Description
`other: Any`

ReturnValue

Name	Description
`Struct`

eq

open infix fun Any.eq(right: Any): Struct

Receiver

Name	Description
`Any`

Parameters

Name	Description
`right: Any`

ReturnValue

Name	Description
`Struct`

neq

open infix fun Any.neq(right: Any): Struct

Receiver

Name	Description
`Any`

Parameters

Name	Description
`right: Any`

ReturnValue

Name	Description
`Struct`

id

open infix fun Any.id(right: Any): Struct

Receiver

Name	Description
`Any`

Parameters

Name	Description
`right: Any`

ReturnValue

Name	Description
`Struct`

nid

open infix fun Any.nid(right: Any): Struct

Receiver

Name	Description
`Any`

Parameters

Name	Description
`right: Any`

ReturnValue

Name	Description
`Struct`

arithEq

open infix fun Any.arithEq(right: Any): Struct

Receiver

Name	Description
`Any`

Parameters

Name	Description
`right: Any`

ReturnValue

Name	Description
`Struct`

arithNeq

open infix fun Any.arithNeq(right: Any): Struct

Receiver

Name	Description
`Any`

Parameters

Name	Description
`right: Any`

ReturnValue

Name	Description
`Struct`

member

open fun member(item: Any, list: Any): Struct

Parameters

Name	Description
`item: Any`
`list: Any`

ReturnValue

Name	Description
`Struct`

retract

open fun retract(clause: Any): Struct

Parameters

Name	Description
`clause: Any`

ReturnValue

Name	Description
`Struct`

append

open fun append(left: Any, right: Any, result: Any): Struct

Parameters

Name	Description
`left: Any`
`right: Any`
`result: Any`

ReturnValue

Name	Description
`Struct`

retractall

open fun retractall(clause: Any): Struct

Parameters

Name	Description
`clause: Any`

ReturnValue

Name	Description
`Struct`

abolish

open fun abolish(indicator: Any): Struct

Parameters

Name	Description
`indicator: Any`

ReturnValue

Name	Description
`Struct`

atom_chars

open fun atom_chars(atom: Any, chars: Any): Struct

Parameters

Name	Description
`atom: Any`
`chars: Any`

ReturnValue

Name	Description
`Struct`

atom_codes

open fun atom_codes(atom: Any, codes: Any): Struct

Parameters

Name	Description
`atom: Any`
`codes: Any`

ReturnValue

Name	Description
`Struct`

atom_concat

open fun atom_concat(first: Any, second: Any, result: Any): Struct

Parameters

Name	Description
`first: Any`
`second: Any`
`result: Any`

ReturnValue

Name	Description
`Struct`

atom_length

open fun atom_length(atom: Any, length: Any): Struct

Parameters

Name	Description
`atom: Any`
`length: Any`

ReturnValue

Name	Description
`Struct`

char_code

open fun char_code(char: Any, code: Any): Struct

Parameters

Name	Description
`char: Any`
`code: Any`

ReturnValue

Name	Description
`Struct`

clause

open fun clause(head: Any, body: Any): Struct

Parameters

Name	Description
`head: Any`
`body: Any`

ReturnValue

Name	Description
`Struct`

copy_term

open fun copy_term(term: Any, copy: Any): Struct

Parameters

Name	Description
`term: Any`
`copy: Any`

ReturnValue

Name	Description
`Struct`

current_flag

open fun current_flag(name: Any, value: Any): Struct

Parameters

Name	Description
`name: Any`
`value: Any`

ReturnValue

Name	Description
`Struct`

current_prolog_flag

open fun current_prolog_flag(name: Any, value: Any): Struct

Parameters

Name	Description
`name: Any`
`value: Any`

ReturnValue

Name	Description
`Struct`

sub_atom

open fun sub_atom(atom: Any, before: Any, length: Any, after: Any, sub_atom: Any): Struct

Parameters

Name	Description
`atom: Any`
`before: Any`
`length: Any`
`after: Any`
`sub_atom: Any`

ReturnValue

Name	Description
`Struct`

number_chars

open fun number_chars(first: Any, second: Any): Struct

Parameters

Name	Description
`first: Any`
`second: Any`

ReturnValue

Name	Description
`Struct`

number_codes

open fun number_codes(first: Any, second: Any): Struct

Parameters

Name	Description
`first: Any`
`second: Any`

ReturnValue

Name	Description
`Struct`

bagof

open fun bagof(template: Any, goal: Any, bag: Any): Struct

Parameters

Name	Description
`template: Any`
`goal: Any`
`bag: Any`

ReturnValue

Name	Description
`Struct`

setof

open fun setof(template: Any, goal: Any, bag: Any): Struct

Parameters

Name	Description
`template: Any`
`goal: Any`
`bag: Any`

ReturnValue

Name	Description
`Struct`

consult

open fun consult(url: Any): Struct

Parameters

Name	Description
`url: Any`

ReturnValue

Name	Description
`Struct`

set_flag

open fun set_flag(name: Any, value: Any): Struct

Parameters

Name	Description
`name: Any`
`value: Any`

ReturnValue

Name	Description
`Struct`

set_prolog_flag

open fun set_prolog_flag(name: Any, value: Any): Struct

Parameters

Name	Description
`name: Any`
`value: Any`

ReturnValue

Name	Description
`Struct`

dynamic

open fun dynamic(indicator: Any): Struct

Parameters

Name	Description
`indicator: Any`

ReturnValue

Name	Description
`Struct`

static

open fun static(indicator: Any): Struct

Parameters

Name	Description
`indicator: Any`

ReturnValue

Name	Description
`Struct`

solve

open fun solve(goal: Any): Struct

Parameters

Name	Description
`goal: Any`

ReturnValue

Name	Description
`Struct`

initialization

open fun initialization(goal: Any): Struct

Parameters

Name	Description
`goal: Any`

ReturnValue

Name	Description
`Struct`

load

open fun load(url: Any): Struct

Parameters

Name	Description
`url: Any`

ReturnValue

Name	Description
`Struct`

include

open fun include(url: Any): Struct

Parameters

Name	Description
`url: Any`

ReturnValue

Name	Description
`Struct`

Methods

at_end_of_stream

call

catch

throw

not

naf

assert

asserta

assertz

arg

atom

atomic

between

callable

compound

current_op

op

findall

float

functor

ground

integer

natural

nonvar

number

var

write

univ

eq

neq

id

nid

arithEq

arithNeq

member

retract

append

retractall

abolish

atom_chars

atom_codes

atom_concat

atom_length

char_code

clause

copy_term

current_flag

current_prolog_flag

sub_atom

number_chars

number_codes

bagof

setof

consult

set_flag

set_prolog_flag

dynamic

static

solve

initialization

load

include