• Places
    • Home
    • Graphs
    • Prefixes
  • Admin
    • Users
    • Settings
    • Plugins
    • Statistics
  • Repository
    • Load local file
    • Load from HTTP
    • Load from library
    • Remove triples
    • Clear repository
  • Query
    • YASGUI SPARQL Editor
    • Simple Form
  • Help
    • Documentation
    • Tutorial
    • Roadmap
    • HTTP Services
  • Login

2.1.1 Starting SWI-Prolog
AllApplicationManualNameSummaryHelp

  • Documentation
    • Reference manual
      • Overview
        • Getting started quickly
          • Starting SWI-Prolog
            • Starting SWI-Prolog on Unix
            • Starting SWI-Prolog on Windows
    • Packages

2.1.1.1 Starting SWI-Prolog on Unix

By default, SWI-Prolog is installed as `swipl'. The command line arguments of SWI-Prolog itself and its utility programs are documented using standard Unix man pages. SWI-Prolog is normally operated as an interactive application simply by starting the program:

machine% swipl
Welcome to SWI-Prolog ...
...

1 ?-

After starting Prolog, one normally loads a program into it using consult/1, which may be abbreviated by putting the name of the program file between square brackets. The following goal loads the file likes.pl containing clauses for the predicates likes/2 :

?- [likes].
% likes compiled, 0.00 sec, 17 clauses
true.

?-

After this point, Unix and Windows users unite, so if you are using Unix please continue at section 2.1.2.

ClioPatria (version V3.1.1-21-gb8003bb)