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
AA4CGI.PRO A4IDL.INI Access Interface MS-Office Interface: Hello Prolog LSAPI Introduction: Reference Sections AddLSX AddPred AMZI4.BAS AMZI4.DLL AMZI4.H AMZI4.INI Programmer's Guide: Example Programmer's Guide: Using LSXs AMZI4.LIB AMZI4B.LIB AMZI4C.DLL AMZICGI.C CGI Interface: Building the C ; Program CGI Interface: Introduction AMZISUB.C CGI Interface: Building the C ; Program CGI Interface: Introduction Architecture Overview CGI Interface: Introduction Arguments array_elem ARUN.C Asserting B
Backtracking Search BorlandC++ Break Handling C
C Interface C Interface LSAPI Introduction: Reference Sections C C++ Class C++ Class: C++ Class C++ Class: Implementing Extended Predicates 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 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 Interface CGI Interface: Building the C ; Program CGI Interface: CGI ; Interface CGI Interface: Introduction LSAPI Introduction: Reference Sections CGI Interface: Writing the Prolog Script CGI Predicates CGI Variables CGI cgiAskField cgiAskMenu cgiAskTextbox cgiAskYesNo cgiErrorNote cgiExpandChars cgiLoad cgiLog cgiLogResume cgiLogSuspend cgiMain 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 Component Delphi Component Delphi Component: Overview Delphi Component: Reference Delphi Component: Installation LSAPI Introduction: Reference Sections 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 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 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 ODBC Support 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 Delphi GUI Predicates: Windows Extended Predicates Programmer's Guide: Writing Extended Predicates LSAPI: lsAddPred Extended F
GetFloatParm GetIntParm GetParm GetParmType GetStrParm H
Heap Hello Prolog Hello Prolog: Compiling and Linking Hello Prolog MS-Office Interface C Interface C++ Class Delphi Component Java Class Visual Basic Module 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 Class Java Class: Installation Java Class Java Class: Overview LSAPI Introduction: Reference Sections Java Class: Using the Java Class 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 L
LIBAMZI4.A LIBAMZI4.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 Server Set-Up Delphi Component: Logic Server Set-Up Visual Basic Module: Logic Server Set-Up LSAPI: Main entry points to set up Prolog environment Java Class: Logic Server Set-Up Logic Server Logic 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 Data Types 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 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 / 0 Main make_array Methods Microsoft 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 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 Visual C++ W