xsblgt.1

.TH xsblgt 1 "December 16, 2024" "Logtalk 3.86.0" "Logtalk Documentation"

.SH NAME
xsblgt \- Logtalk integration script for XSB

.SH SYNOPSIS
.B xsblgt
[\fB-e \fIgoal\fR]

.SH DESCRIPTION
\fBxsblgt\fR is a Logtalk integration script for XSB. It automatically loads the XSB adapter file, the Logtalk compiler and runtime, the Logtalk default table of library names and paths, and any existing settings file found on the lookup directories. It uses the \fBxsb\fR executable \fB-e\fR option to load the Logtalk files. It passes any options to the \fBxsb\fR executable; see the XSB documentation for the available options.

.SH OPTIONS
The most common option is:
.TP
.B \-e
.I goal
Initialization goal, written between double quotes, to be executed after Logtalk startup.

.SH REQUIREMENTS
XSB 3.8.0 or later is required. This integration script assumes that the XSB executable is named \fBxsb\fR and available in the system path.

.SH ENVIRONMENT
.TP
.B LOGTALKHOME
Specifies the location of the Logtalk installation.
.TP
.B LOGTALKUSER
Specifies the location of the Logtalk user directory.

.SH FILES
.TP
.BI $LOGTALKHOME/integration/logtalk_xsb.pl
Prolog file used for loading the necessary files for starting Logtalk using XSB as the backend compiler.
.TP
.BI $LOGTALKHOME/adapters/xsb.pl
The XSB adapter file.
.TP
.BI $LOGTALKHOME/core/core.pl
The Logtalk core compiler and runtime file.
.TP
.BI $LOGTALKHOME/paths/paths.pl
The default table of library names and paths.
.TP
.BI ./settings.lgt
Logtalk settings file (for overriding default settings in the adapter files). It may not exist.
.TP
.BI $LOGTALKUSER/settings.lgt
Logtalk settings file (for overriding default settings in the adapter files). It may not exist.
.TP
.BI $HOME/settings.lgt
Logtalk settings file (for overriding default settings in the adapter files). It may not exist.
.TP
.BI $XDG_CONFIG_HOME/logtalk/settings.lgt
Logtalk settings file (for overriding default settings in the adapter files). It may not exist.
.TP
.BI $HOME/.config/logtalk/settings.lgt
Logtalk settings file (for overriding default settings in the adapter files). It may not exist.

.SH CAVEATS
The first run of this script may require using "sudo" depending on the writing permissions of the Logtalk installation directory.

.SH "SEE ALSO"
The Logtalk website at https://logtalk.org/
.PP
The Logtalk User and Reference Manuals at \fB$LOGTALKHOME/manuals/index.html\fR
.PP
The XSB website at http://xsb.sourceforge.net/
.PP
logtalk_user_setup(1),\ logtalk_version_select(1),\ logtalk_backend_select(1)

.SH AUTHOR
Paulo Moura <pmoura@logtalk.org>

.SH COPYRIGHT
Copyright (c) 1998-2024 Paulo Moura.