org.jpc.engine.logtalk

Class Logtalk

java.lang.Object

org.jpc.engine.logtalk.LogtalkObject

org.jpc.engine.logtalk.Logtalk

All Implemented Interfaces:

TermConvertable, PrologDatabase

public class Logtalk
extends LogtalkObject

The built-in object 'logtalk'

Author:

sergioc

Field Summary

Fields

Modifier and Type	Field and Description
static String	COMPILE_AUX_CLAUSES
static String	COMPILE_PREDICATE_HEADS
static String	COMPILE_PREDICATE_INDICATORS
static String	DEBUG_HANDLER
static String	DEBUG_HANDLER_PROVIDER
static String	DECOMPILE_PREDICATE_HEADS
static String	DECOMPILE_PREDICATE_INDICATORS
static String	ENTITY_PREFIX
static String	EXECUTION_CONTEXT
static String	EXPAND_LIBRARY_PATH
static String	LOADED_FILE
static String	MESSAGE_HOOK
static String	MESSAGE_PREFIX_STREAM
static String	MESSAGE_TOKENS
static String	PRINT_MESSAGE
static String	PRINT_MESSAGE_TOKENS
static String	TRACE_EVENT

Constructor Summary

Constructors

Constructor and Description
Logtalk(PrologEngine prologEngine)

Method Summary

Modifier and Type	Method and Description
Query	compileAuxClauses(Term clauses)
Query	compilePredicateHeads(Term heads, Term translatedHeads)
Query	compilePredicateHeads(Term heads, Term translatedHeads, Term contextArgument)
Query	compilePredicateHeads(Term heads, Term entity, Term translatedHeads, Term contextArgument)
Query	compilePredicateIndicators(Term predicateIndicators, Term translatedPredicateIndicators)
Query	compilePredicateIndicators(Term predicateIndicators, Term entity, Term translatedPredicateIndicators)
Query	debugHandler(Term event, Term eventExecutionContext)
Query	debugHandlerProvider(Term provider)
Query	decompilePredicateHeads(Term translatedHeads, Term heads)
Query	decompilePredicateHeads(Term translatedHeads, Term entity, Term heads)
Query	decompilePredicateHeads(Term translatedHeads, Term entity, Term entityType, Term heads)
Query	decompilePredicateIndicators(Term translatedPredicateIndicators, Term predicateIndicators)
Query	decompilePredicateIndicators(Term translatedPredicateIndicators, Term entity, Term predicateIndicators)
Query	decompilePredicateIndicators(Term translatedPredicateIndicators, Term entity, Term entityType, Term predicateIndicators)
Query	entityPrefix(Term entity, Term prefix)
Query	executionContext(Term executionContext, Term sender, Term thiz, Term self, Term metacallContext, Term stack)
Query	expandLibraryPath(Term library, Term path)
Query	loadedFile(Term file, Term directory)
Query	loadedFile(Term file, Term directory, Term options)
Query	loadedFile(Term file, Term directory, Term options, Term streamProperties)
Query	messageHook(Term term, Term kind, Term component, Term tokens)
Query	messagePrefixStream(Term kind, Term component, Term prefix, Term stream)
Query	messageTokens(Term term, Term component)
Query	printMessage(Term kind, Term component, Term term)
Query	printMessageTokens(Term stream, Term tokens)
Query	printMessageTokens(Term stream, Term prefix, Term tokens)
Query	traceEvent(Term event, Term eventExecutionContext)

Methods inherited from class org.jpc.engine.logtalk.LogtalkObject

abolish, arity, asserta, assertz, asTerm, clause, currentOp, currentPredicate, isLogtalkMessage, logtalkMessage, logtalkMessage, logtalkMessage, message, name, perform, predicateProperty, retract, retractAll, threaded, threadedCall, threadedCall, threadedExit, threadedExit, threadedIgnore, threadedNotify, threadedOnce, threadedOnce, threadedPeek, threadedPeek, toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

EXPAND_LIBRARY_PATH

public static final String EXPAND_LIBRARY_PATH

See Also:

Constant Field Values

LOADED_FILE

public static final String LOADED_FILE

See Also:

Constant Field Values

COMPILE_AUX_CLAUSES

public static final String COMPILE_AUX_CLAUSES

See Also:

Constant Field Values

ENTITY_PREFIX

public static final String ENTITY_PREFIX

See Also:

Constant Field Values

COMPILE_PREDICATE_HEADS

public static final String COMPILE_PREDICATE_HEADS

See Also:

Constant Field Values

COMPILE_PREDICATE_INDICATORS

public static final String COMPILE_PREDICATE_INDICATORS

See Also:

Constant Field Values

DECOMPILE_PREDICATE_HEADS

public static final String DECOMPILE_PREDICATE_HEADS

See Also:

Constant Field Values

DECOMPILE_PREDICATE_INDICATORS

public static final String DECOMPILE_PREDICATE_INDICATORS

See Also:

Constant Field Values

EXECUTION_CONTEXT

public static final String EXECUTION_CONTEXT

See Also:

Constant Field Values

PRINT_MESSAGE

public static final String PRINT_MESSAGE

See Also:

Constant Field Values

PRINT_MESSAGE_TOKENS

public static final String PRINT_MESSAGE_TOKENS

See Also:

Constant Field Values

MESSAGE_TOKENS

public static final String MESSAGE_TOKENS

See Also:

Constant Field Values

MESSAGE_PREFIX_STREAM

public static final String MESSAGE_PREFIX_STREAM

See Also:

Constant Field Values

MESSAGE_HOOK

public static final String MESSAGE_HOOK

See Also:

Constant Field Values

TRACE_EVENT

public static final String TRACE_EVENT

See Also:

Constant Field Values

DEBUG_HANDLER_PROVIDER

public static final String DEBUG_HANDLER_PROVIDER

See Also:

Constant Field Values

DEBUG_HANDLER

public static final String DEBUG_HANDLER

See Also:

Constant Field Values

Constructor Detail

Logtalk

public Logtalk(PrologEngine prologEngine)

Method Detail

expandLibraryPath

public Query expandLibraryPath(Term library,
                               Term path)

loadedFile

public Query loadedFile(Term file,
                        Term directory)

loadedFile

public Query loadedFile(Term file,
                        Term directory,
                        Term options)

loadedFile

public Query loadedFile(Term file,
                        Term directory,
                        Term options,
                        Term streamProperties)

compileAuxClauses

public Query compileAuxClauses(Term clauses)

entityPrefix

public Query entityPrefix(Term entity,
                          Term prefix)

compilePredicateHeads

public Query compilePredicateHeads(Term heads,
                                   Term translatedHeads)

compilePredicateHeads

public Query compilePredicateHeads(Term heads,
                                   Term translatedHeads,
                                   Term contextArgument)

compilePredicateHeads

public Query compilePredicateHeads(Term heads,
                                   Term entity,
                                   Term translatedHeads,
                                   Term contextArgument)

compilePredicateIndicators

public Query compilePredicateIndicators(Term predicateIndicators,
                                        Term translatedPredicateIndicators)

compilePredicateIndicators

public Query compilePredicateIndicators(Term predicateIndicators,
                                        Term entity,
                                        Term translatedPredicateIndicators)

decompilePredicateHeads

public Query decompilePredicateHeads(Term translatedHeads,
                                     Term heads)

decompilePredicateHeads

public Query decompilePredicateHeads(Term translatedHeads,
                                     Term entity,
                                     Term heads)

decompilePredicateHeads

public Query decompilePredicateHeads(Term translatedHeads,
                                     Term entity,
                                     Term entityType,
                                     Term heads)

decompilePredicateIndicators

public Query decompilePredicateIndicators(Term translatedPredicateIndicators,
                                          Term predicateIndicators)

decompilePredicateIndicators

public Query decompilePredicateIndicators(Term translatedPredicateIndicators,
                                          Term entity,
                                          Term predicateIndicators)

decompilePredicateIndicators

public Query decompilePredicateIndicators(Term translatedPredicateIndicators,
                                          Term entity,
                                          Term entityType,
                                          Term predicateIndicators)

executionContext

public Query executionContext(Term executionContext,
                              Term sender,
                              Term thiz,
                              Term self,
                              Term metacallContext,
                              Term stack)

printMessage

public Query printMessage(Term kind,
                          Term component,
                          Term term)

printMessageTokens

public Query printMessageTokens(Term stream,
                                Term prefix,
                                Term tokens)

printMessageTokens

public Query printMessageTokens(Term stream,
                                Term tokens)

messageTokens

public Query messageTokens(Term term,
                           Term component)

messagePrefixStream

public Query messagePrefixStream(Term kind,
                                 Term component,
                                 Term prefix,
                                 Term stream)

messageHook

public Query messageHook(Term term,
                         Term kind,
                         Term component,
                         Term tokens)

traceEvent

public Query traceEvent(Term event,
                        Term eventExecutionContext)

debugHandlerProvider

public Query debugHandlerProvider(Term provider)

debugHandler

public Query debugHandler(Term event,
                          Term eventExecutionContext)