Library

interface Library

Represents a Prolog library

Types

Link copied to clipboard
object Companion

Functions

Link copied to clipboard
open operator fun contains(operator: <ERROR CLASS>): Boolean

Checks whether this library contains the definition of provided operator

open operator fun contains(signature: Signature): Boolean

Checks whether this library contains the provided signature.

Link copied to clipboard
open fun hasPrimitive(signature: Signature): Boolean

Checks whether this library has a Primitive with provided signature

Link copied to clipboard
open fun hasProtected(signature: Signature): Boolean

Checks whether the provided signature, is protected in this library

Properties

Link copied to clipboard
abstract val functions: Map<Signature, LogicFunction>

The library prolog functions, identified by their signature

Link copied to clipboard
abstract val operators: <ERROR CLASS>

Library defined operators

Link copied to clipboard
abstract val primitives: Map<Signature, Primitive>

The library primitives, identified by their signatures

Link copied to clipboard
abstract val theory: <ERROR CLASS>

The library theory clauses

Inheritors

Link copied to clipboard
Link copied to clipboard
Link copied to clipboard

Extensions

Link copied to clipboard
fun Library.getAllOperators(): Sequence<<ERROR CLASS>>