-
-
Notifications
You must be signed in to change notification settings - Fork 31
/
Copy pathswilgt.1
80 lines (70 loc) · 2.79 KB
/
swilgt.1
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
.TH swilgt 1 "December 16, 2024" "Logtalk 3.86.0" "Logtalk Documentation"
.SH NAME
swilgt \- Logtalk integration script for SWI-Prolog
.SH SYNOPSIS
.B swilgt
[\fB-q\fR]
[\fB-g \fIgoal\fR]
.SH DESCRIPTION
\fBswilgt\fR is a Logtalk integration script for SWI-Prolog. It automatically loads the SWI-Prolog 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 \fBswipl\fR executable \fB-s\fR option to load the Logtalk files. It passes any options to the \fBswipl\fR executable; see the SWI-Prolog documentation for the available options.
.SH OPTIONS
The two most common options are:
.TP
.B \-q
Silence Logtalk default startup messages and compilation messages by setting the \fBreport\fR flag to \fBwarnings\fR.
.TP
.B \-g
.I goal
Initialization goal, written between double quotes, to be executed after Logtalk startup.
.SH REQUIREMENTS
SWI-Prolog 6.6.0 or later is required. This integration script looks for a \fBswipl\fR executable 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_swi.pl
Prolog file used for loading the necessary files for starting Logtalk using SWI-Prolog as the backend compiler.
.TP
.BI $LOGTALKHOME/adapters/swi.pl
The SWI-Prolog 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 $LOGTALKHOME/adapters/swihooks.pl
Hooks file for supporting loading Logtalk entities using SWI-Prolog load_files/2 and consult/1 predicates and to support edit/1 and make/0.
.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 "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 SWI-Prolog website at http://www.swi-prolog.org/
.PP
logtalk_user_setup(1),\ logtalk_version_select(1),\ logtalk_backend_select(1)
.SH AUTHOR
Paulo Moura <[email protected]>
.SH COPYRIGHT
Copyright (c) 1998-2024 Paulo Moura.