Amzi! Logic Server User's Guide & Reference
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
[A5IDL.INI Access Interface acgi.pro AddLSX AddPred amzi.dll AMZI5.BAS AMZI5.INI Programmer's Guide: Example Programmer's Guide: Using LSXs amzicgi.c CGI Interface: Building the C Program CGI Interface: Introduction amzisub.c CGI Interface: Building the C Program CGI Interface: Introduction Apache Architecture Overview CGI Interface: Introduction Arguments array_elem ARUN.C Asserting B
Backtracking Search Break Handling C
C C Interface C Interface LSAPI Introduction: Reference Sections C++ Programmer's Guide: Break Handling Programmer's Guide: C++ Error Handling Programmer's Guide: Miscellaneous Functions ODBC Support: Prolog Interface Example Programmer's Guide: Writing Extended Predicates C++ Class C++ Class: Implementing Extended Predicates LSAPI Introduction: Reference Sections Calling Prolog Java Class LSAPI: Calling Prolog from the host language Programmer's Guide: Calling Prolog with a String Query Delphi Component Visual Basic Module Java Class: Issuing Prolog Queries catch Cells CGI CGI Interface CGI Interface: Building the C Program CGI Interface CGI Interface: Introduction LSAPI Introduction: Reference Sections CGI Interface: Writing the Prolog Script CGI Predicates CGI Variables cgiAskField cgiAskMenu cgiAskTextbox cgiAskYesNo cgiDecodeURL cgiErrorNote cgiExpandChars cgiExtractFileName cgiExtractPath cgiLoad cgiLog cgiLogResume cgiLogSuspend cgiMain cgiPathSeparator cgiSend cgiSendLocalHTMLFile cgiSendURL cgiStart Choice Points Close Command-Line Compiling Complex Terms Console applications Constants Visual Basic Module: Logic Server Constants Delphi Component: Logic Server Types Consulting Control Converting Java Class: Converting Strings / Terms Programmer's Guide: Converting Terms to Strings Delphi Component: Converting Strings / Terms Visual Basic Module: Converting Strings / Terms Java Class: String Conversion LSAPI: String / Term conversion functions D
db_fetch db_query ODBC Support: Extended Predicates ODBC Support: Prolog Interface delete_array DelGUI Delphi GUI Predicates Delphi GUI Predicates: Flow of Control Issue Delphi GUI Predicates: Sample Delphi GUI Predicates: Extended Predicates Delphi GUI Predicates: Prolog Predicates Delphi GUI Predicates: Using DelGUI Delphi Delphi GUI Predicates LSX Introduction Delphi GUI Predicates: Extended Predicates Delphi GUI Predicates: Prolog Predicates Delphi GUI Predicates: Using DelGUI Programmer's Guide: Writing Extended Predicates Delphi Component Delphi Component Delphi Component: Overview Delphi Component: Reference Delphi Component: Installation LSAPI Introduction: Reference Sections Dynamic Database Programmer's Guide: Asserting and Retracting to and from the Prolog Database Delphi Component Visual Basic Module Java Class E
Engine ID Programmer's Guide: Defining Extended Predicates Programmer's Guide: Engine ID Parameter error / 2 Error Handling Java Class LSAPI: Error handling Programmer's Guide Programmer's Guide: Prolog Error Handling Errors Java Class: Exceptions Programmer's Guide: Return Codes Exceptions Extended Extended Predicate Libraries Extended Predicates Sockets LSX: Conversion Predicates Sockets LSX: Database Predicates Programmer's Guide: Defining Extended Predicates Delphi GUI Predicates Extended Predicates Programmer's Guide: Example Programmer's Guide: Extended Predicate Libraries (LSXs) Java Class: Manipulating Parameters for Extended Predicates ODBC Support Overview: Extending Prolog Delphi GUI Predicates: Flow of Control Issue Delphi Component Visual Basic Module C++ Class: Implementing Extended Predicates Delphi Component: Implementing Extended Predicates Visual Basic Module: Implementing Extended Predicates Programmer's Guide: Initializing the Extended Predicates Programmer's Guide: Example LSX Introduction LSAPI: Parameter manipulating functions for building extended predicates Sockets LSX: Socket Predicates Sockets LSX: Startup / Shutdown Predicates Delphi GUI Predicates Delphi GUI Predicates: Prolog Predicates Programmer's Guide: Writing Extended Predicates LSAPI: lsAddPred F
GetFloatParm GetIntParm GetParm GetParmType GetStrParm H
Heap Hello Prolog Hello Prolog: Compiling and Linking Hello Prolog C Interface C++ Class Delphi Component Java Class Visual Basic Module CGI Interface: Introduction Hello Prolog: Host Language Side of Hello Prolog Hello Prolog: Prolog Side of Hello Prolog HTML I
I / O Functions I / O Streams Programmer's Guide: Capturing Prolog I / O Programmer's Guide: Connecting Your Functions Programmer's Guide: Making Stream 3 the Default Programmer's Guide: Redirecting I / O Streams Example Programmer's Guide: I / O Functions Infoform Sample Init Init2 InitLSX InitPreds Internet J
Java Java Class: Multi-Threaded Java Class: Object Oriented Java Class: Pointerless Methods Java Class: Where to Learn About Java Programmer's Guide: Writing Extended Predicates Java Class Java Class: Installation Java Class Java Class: Overview LSAPI Introduction: Reference Sections Java Class: Using the Java Class L
libamzi.so Libraries Linking Listener Lists Delphi Component: Manipulating Lists Visual Basic Module: Manipulating Lists LSAPI: List manipulation functions Java Class: Manipulating Lists Programmer's Guide: Manipulating Lists Load Logic Logic Server Logic Server Set-Up LSAPI: Functional List of LSAPI Functions Delphi Component: Logic Server Set-Up Visual Basic Module: Logic Server Set-Up Java Class: Logic Server Set-Up lsAddLSX Delphi Component: Logic Server Set-Up Visual Basic Module: Logic Server Set-Up LSAPI lsAddPred Programmer's Guide: Extended Predicate Libraries (LSXs) Delphi Component: Logic Server Set-Up Programmer's Guide: Initializing the Extended Predicates LSAPI LSAPI Programmer's Guide: Engine ID Parameter LSAPI Introduction: Getting Started LSAPI Introduction: Libraries LSAPI Introduction Programmer's Guide: Main Entry Points Overview: Logic Server Engine and LSAPI LSAPI: lsAddLSX LSAPI: lsAddPred LSAPI: lsAsserta LSAPI: lsAssertaStr LSAPI: lsAssertz LSAPI: lsAssertzStr LSAPI: lsCall LSAPI: lsCallStr LSAPI: lsClearCall LSAPI: lsClose LSAPI: lsErrRaise LSAPI: lsExec LSAPI: lsExecStr LSAPI: lsGetArg LSAPI: lsGetArgType LSAPI: lsGetExceptCallStack LSAPI: lsGetExceptMsg LSAPI: lsGetExceptRC LSAPI: lsGetExceptReadBuffer LSAPI: lsGetExceptReadFileName LSAPI: lsGetExceptReadLineno LSAPI: lsGetExceptType LSAPI: lsGetFA LSAPI: lsGetHead LSAPI: lsGetParm LSAPI: lsGetParmType LSAPI: lsGetStream LSAPI: lsGetTail LSAPI: lsGetTerm LSAPI: lsGetTermType LSAPI: lsGetVersion LSAPI: lsInit LSAPI: lsInit2 LSAPI: lsInitLSX LSAPI: lsInitPreds LSAPI: lsLoad LSAPI: lsMain LSAPI: lsMakeAddr LSAPI: lsMakeAtom LSAPI: lsMakeFA LSAPI: lsMakeFloat LSAPI: lsMakeInt LSAPI: lsMakeList LSAPI: lsMakeStr LSAPI: lsPopList LSAPI: lsPushList LSAPI: lsRedo LSAPI: lsReset LSAPI: lsRetract LSAPI: lsRetractStr LSAPI: lsSetCommandArgs LSAPI: lsSetInput LSAPI: lsSetIOArg LSAPI: lsSetOutput LSAPI: lsSetStream LSAPI: lsStrArgLen LSAPI: lsStrParmLen LSAPI: lsStrTermLen LSAPI: lsStrToTerm LSAPI: lsTermToStr LSAPI: lsTermToStrQ LSAPI: lsUnify LSAPI: lsUnifyArg LSAPI: lsUnifyParm LSAPI Data Types lsAsserta Programmer's Guide: Asserting and Retracting to and from the Prolog Database Delphi Component: Dynamic Database Visual Basic Module: Dynamic Database Java Class: Dynamic Database LSAPI lsAssertaStr Programmer's Guide: Asserting and Retracting to and from the Prolog Database Delphi Component: Dynamic Database Visual Basic Module: Dynamic Database Java Class: Dynamic Database LSAPI lsAssertz Programmer's Guide: Asserting and Retracting to and from the Prolog Database Delphi Component: Dynamic Database Visual Basic Module: Dynamic Database Java Class: Dynamic Database LSAPI lsAssertzStr Programmer's Guide: Asserting and Retracting to and from the Prolog Database Delphi Component: Dynamic Database Visual Basic Module: Dynamic Database Java Class: Dynamic Database LSAPI lsCall Java Class: Calling Prolog Programmer's Guide: Calling Terms Delphi Component: Calling Prolog Visual Basic Module: Calling Prolog Programmer's Guide: Return Codes Programmer's Guide: Scope of Logic Server Terms Programmer's Guide: Nested Scoping Answer Programmer's Guide: Safe Scoping Answer LSAPI lsCallStr Java Class: Calling Prolog Programmer's Guide: Calling Prolog with a String Query Programmer's Guide: Calling Terms Delphi Component: Calling Prolog Visual Basic Module: Calling Prolog Programmer's Guide: Scope of Logic Server Terms LSAPI lsClearCall Java Class: Calling Prolog Delphi Component: Calling Prolog Visual Basic Module: Calling Prolog Programmer's Guide: Nested Scoping Answer LSAPI lsClose Delphi Component: Logic Server Set-Up Visual Basic Module: Logic Server Set-Up Programmer's Guide: Main Entry Points Java Class: Logic Server Set-Up LSAPI lsErrMsg lsErrRaise Programmer's Guide: LSAPI Error Handling Delphi Component: Miscellaneous Functions LSAPI lsErrReadBuf lsExceptMsg lsExec Java Class: Calling Prolog Programmer's Guide: Calling Terms Delphi Component: Calling Prolog Visual Basic Module: Calling Prolog Programmer's Guide: Scope of Logic Server Terms LSAPI lsExecStr Java Class: Calling Prolog Programmer's Guide: Calling Prolog with a String Query Programmer's Guide: Calling Terms Delphi Component: Calling Prolog Visual Basic Module: Calling Prolog Programmer's Guide: Scope of Logic Server Terms LSAPI lsGetArg Delphi Component: Manipulating Structures Visual Basic Module: Manipulating Structures Java Class: Manipulating Structures Programmer's Guide: Mapping Prolog Arguments to Host Variables LSAPI lsGetArgType Delphi Component: Manipulating Structures Visual Basic Module: Manipulating Structures Java Class: Manipulating Structures Programmer's Guide: Mapping Prolog Arguments to Host Variables LSAPI lsGetArity Delphi Component: Manipulating Structures Visual Basic Module: Manipulating Structures Java Class: Manipulating Structures lsGetExceptCallStack Programmer's Guide: LSAPI Error Handling LSAPI lsGetExceptMsg Java Class: Error Handling Programmer's Guide: LSAPI Error Handling LSAPI lsGetExceptRC Programmer's Guide: LSAPI Error Handling LSAPI lsGetExceptReadBuffer Programmer's Guide: LSAPI Error Handling Visual Basic Module: Miscellaneous Functions LSAPI lsGetExceptReadFileName lsGetExceptReadLineno lsGetExceptType Programmer's Guide: LSAPI Error Handling LSAPI lsGetFA Delphi Component: Manipulating Structures Visual Basic Module: Manipulating Structures Programmer's Guide: Manipulating Structures LSAPI lsGetFunctor Delphi Component: Manipulating Structures Visual Basic Module: Manipulating Structures Java Class: Manipulating Structures lsGetHead Visual Basic Module: Manipulating Lists Java Class: Manipulating Lists LSAPI lsGetParm Programmer's Guide: Defining Extended Predicates Java Class: Manipulating Parameters for Extended Predicates Delphi Component: Extended Predicates Visual Basic Module: Extended Predicates LSAPI lsGetParmType Programmer's Guide: Defining Extended Predicates Java Class: Manipulating Parameters for Extended Predicates LSAPI lsGetStream Delphi Component: Prolog Stream I / O Delphi Component: Miscellaneous Functions Visual Basic Module: Miscellaneous Functions LSAPI lsGetTail Visual Basic Module: Manipulating Lists Java Class: Manipulating Lists LSAPI lsGetTerm Delphi Component: Making / Getting Prolog Types Visual Basic Module: Making / Getting Prolog Types Programmer's Guide: Handling Varying Prolog Types Java Class: Making / Getting Prolog Types LSAPI lsGetTermType Delphi Component: Making / Getting Prolog Types Visual Basic Module: Making / Getting Prolog Types Programmer's Guide: Handling Varying Prolog Types Java Class: Making / Getting Prolog Types LSAPI lsGetVersion Programmer's Guide: Miscellaneous Functions Delphi Component: Miscellaneous Functions Visual Basic Module: Miscellaneous Functions Java Class: Miscellaneous Methods LSAPI lsInit Delphi Component: Logic Server Set-Up Visual Basic Module: Logic Server Set-Up Programmer's Guide: Main Entry Points Java Class: Logic Server Set-Up LSAPI lsInit2 lsInitLSX Delphi Component: Logic Server Set-Up Visual Basic Module: Logic Server Set-Up Programmer's Guide: Initializing the Extended Predicates LSAPI lsInitPreds Programmer's Guide: Extended Predicate Libraries (LSXs) Delphi Component: Logic Server Set-Up Programmer's Guide: Initializing the Extended Predicates LSAPI lsLoad Delphi Component: Logic Server Set-Up Visual Basic Module: Logic Server Set-Up Programmer's Guide: Main Entry Points Java Class: Logic Server Set-Up LSAPI lsMaAkeAtom lsMain Delphi Component: Logic Server Set-Up Visual Basic Module: Logic Server Set-Up Programmer's Guide: Main Entry Points Java Class: Logic Server Set-Up LSAPI lsMakeAddr Delphi Component: Making / Getting Prolog Types Visual Basic Module: Making / Getting Prolog Types Programmer's Guide: Making Simple Terms LSAPI lsMakeAtom Delphi Component: Making / Getting Prolog Types Visual Basic Module: Making / Getting Prolog Types Java Class: Making / Getting Prolog Types Programmer's Guide: Making Simple Terms lsMakeFA Delphi Component: Manipulating Structures Visual Basic Module: Manipulating Structures Java Class: Manipulating Structures Programmer's Guide: Manipulating Structures LSAPI lsMakeFloat Delphi Component: Making / Getting Prolog Types Visual Basic Module: Making / Getting Prolog Types Java Class: Making / Getting Prolog Types Programmer's Guide: Making Simple Terms LSAPI lsMakeInt Delphi Component: Making / Getting Prolog Types Visual Basic Module: Making / Getting Prolog Types Java Class: Making / Getting Prolog Types Programmer's Guide: Making Simple Terms LSAPI lsMakeList Delphi Component: Manipulating Lists Visual Basic Module: Manipulating Lists Java Class: Manipulating Lists Programmer's Guide: Manipulating Lists LSAPI lsMakeLong lsMakeStr Delphi Component: Making / Getting Prolog Types Visual Basic Module: Making / Getting Prolog Types Java Class: Making / Getting Prolog Types Programmer's Guide: Making Simple Terms LSAPI lsPopList Delphi Component: Manipulating Lists Programmer's Guide: Manipulating Lists LSAPI lsPushList Delphi Component: Manipulating Lists Visual Basic Module: Manipulating Lists Java Class: Manipulating Lists Programmer's Guide: Manipulating Lists LSAPI lsRedo Programmer's Guide: Backtracking through Multiple Answers Java Class: Calling Prolog Delphi Component: Calling Prolog Visual Basic Module: Calling Prolog Programmer's Guide: Scope of Logic Server Terms Programmer's Guide: Nested Scoping Answer Programmer's Guide: Safe Scoping Answer LSAPI lsReset Delphi Component: Logic Server Set-Up Visual Basic Module: Logic Server Set-Up Java Class: Logic Server Set-Up LSAPI lsRetract Programmer's Guide: Asserting and Retracting to and from the Prolog Database Delphi Component: Dynamic Database Visual Basic Module: Dynamic Database Java Class: Dynamic Database LSAPI lsRetractStr Programmer's Guide: Asserting and Retracting to and from the Prolog Database Delphi Component: Dynamic Database Visual Basic Module: Dynamic Database Java Class: Dynamic Database LSAPI lsSetCommandArgs Programmer's Guide: Miscellaneous Functions LSAPI lsSetInput Programmer's Guide: Connecting Your Functions Delphi Component: Prolog Stream I / O LSAPI lsSetIOArg lsSetOutput Programmer's Guide: Connecting Your Functions Delphi Component: Prolog Stream I / O lsSetStream Delphi Component: Prolog Stream I / O Programmer's Guide: Making Stream 3 the Default Delphi Component: Miscellaneous Functions Visual Basic Module: Miscellaneous Functions LSAPI lsStrArgLen Delphi Component: Manipulating Structures Visual Basic Module: Manipulating Structures Java Class: Manipulating Structures Programmer's Guide: Mapping Prolog Arguments to Host Variables LSAPI lsStrParmLen Programmer's Guide: Defining Extended Predicates LSAPI lsStrTermLen Java Class: Converting Strings / Terms LSAPI lsStrToTerm Programmer's Guide: Calling Terms Java Class: Converting Strings / Terms Delphi Component: Converting Strings / Terms Visual Basic Module: Converting Strings / Terms Programmer's Guide: Manipulating Structures LSAPI lsTermToStr Java Class: Converting Strings / Terms Programmer's Guide: Converting Terms to Strings Delphi Component: Converting Strings / Terms Visual Basic Module: Converting Strings / Terms LSAPI lsTermToStrQ Java Class: Converting Strings / Terms Programmer's Guide: Converting Terms to Strings Delphi Component: Converting Strings / Terms Visual Basic Module: Converting Strings / Terms LSAPI lsUnify Delphi Component: Manipulating Structures Visual Basic Module: Manipulating Structures Programmer's Guide: Manipulating Structures LSAPI lsUnifyArg Delphi Component: Manipulating Structures Visual Basic Module: Manipulating Structures Java Class: Manipulating Structures Programmer's Guide: Manipulating Structures Programmer's Guide: Return Codes LSAPI lsUnifyParm Programmer's Guide: Defining Extended Predicates Java Class: Manipulating Parameters for Extended Predicates Delphi Component: Extended Predicates Visual Basic Module: Extended Predicates LSAPI LSX Files LSXs Programmer's Guide: Extended Predicate Libraries (LSXs) Programmer's Guide: Example LSX Introduction Sockets LSX Programmer's Guide: Using LSXs LSAPI: lsAddLSX M
Main main / 0 make_array Methods Miscellaneous Functions Programmer's Guide Delphi Component LSAPI: Miscellaneous functions Visual Basic Module Miscellaneous Methods Multi-Threaded O
ODBC ODBC Support: Extended Predicates LSX Introduction ODBC Support: Prolog Interface ODBC Support: Prolog Interface Example P
Parameters pro Files Prolog I / O Prolog Logic-Bases Prolog Runtime Prolog Types Delphi Component: Making / Getting Prolog Types Visual Basic Module: Making / Getting Prolog Types LSAPI: Getting C values from Prolog terms Java Class: Making / Getting Prolog Types LSAPI: Making Prolog types Q
Queries Programmer's Guide: Backtracking through Multiple Answers Programmer's Guide: Calling Prolog with a String Query Programmer's Guide: Scope of Logic Server Terms Programmer's Guide: Nested Scoping Answer Programmer's Guide: Safe Scoping Answer R
RC Programmer's Guide: Logic Server Return Codes Programmer's Guide: RC-Error Checking Return Codes Redirecting I / O Streams Reset Retracting Return Codes Programmer's Guide: Logic Server Return Codes Programmer's Guide: RC-Error Checking Return Codes Programmer's Guide Runtime Shell Command-Line Runtime Shell: Command-Line Runtime Shell LSX Introduction S
Scope Programmer's Guide: Scope of Logic Server Terms Programmer's Guide: Nested Scoping Answer Programmer's Guide: Safe Scoping Answer Sockets Sockets LSX: Conversion Predicates Sockets LSX: Database Predicates Sockets LSX: Socket Predicates Sockets LSX Sockets LSX: Startup / Shutdown Predicates Source Files Srings Stream 3 Programmer's Guide: Connecting Your Functions Programmer's Guide: Making Stream 3 the Default Stream I / O Delphi Component: Prolog Stream I / O LSAPI: Stream I / O functions Strings Programmer's Guide: Calling Prolog with a String Query Java Class: Converting Strings / Terms Programmer's Guide: Converting Terms to Strings Delphi Component: Converting Strings / Terms Visual Basic Module: Converting Strings / Terms Java Class: String Conversion Structures Delphi Component: Manipulating Structures Visual Basic Module: Manipulating Structures Java Class: Manipulating Structures Programmer's Guide: Manipulating Structures Programmer's Guide: Mapping Prolog Arguments to Host Variables LSAPI: Structure manipulation functions Success Supported Environments T
Terms Programmer's Guide: Asserting and Retracting to and from the Prolog Database Programmer's Guide: Calling Terms Java Class: Converting Strings / Terms Programmer's Guide: Converting Terms to Strings Delphi Component: Converting Strings / Terms Visual Basic Module: Converting Strings / Terms LSAPI: Getting C values from Prolog terms Programmer's Guide: Handling Varying Prolog Types Programmer's Guide: Making Simple Terms Programmer's Guide: Mapping Prolog Arguments to Host Variables Programmer's Guide: Prolog Terms Programmer's Guide: Scope of Logic Server Terms LSAPI: String / Term conversion functions Programmer's Guide: Internals of Complex Terms Programmer's Guide: Nested Scoping Answer Programmer's Guide: Safe Scoping Answer TF Programmer's Guide: Logic Server Return Codes Programmer's Guide: TF - Success / Failure Return Codes True try Types Delphi Component: Making / Getting Prolog Types Visual Basic Module: Making / Getting Prolog Types LSAPI: Getting C values from Prolog terms Programmer's Guide: Handling Varying Prolog Types Visual Basic Module: Logic Server Constants Delphi Component: Logic Server Types Java Class: Making / Getting Prolog Types LSAPI: Making Prolog types U
Unicode C Interface: Unicode Support C++ Class: Unicode Support UnifyFloatParm UnifyIntParm UnifyParm UnifyStrParm V
Variables LSAPI: Getting C values from Prolog terms Programmer's Guide: Handling Varying Prolog Types Programmer's Guide: Mapping Prolog Arguments to Host Variables Programmer's Guide: Safe Scoping Answer Visual Basic Module Visual Basic Module: Calling Prolog Visual Basic Module: Making / Getting Prolog Types Visual Basic Module: Logic Server Constants Visual Basic Module: Overview LSAPI Introduction: Reference Sections Visual Basic Module: Reference Visual Basic Module: Using the Module Visual Basic Module W