How do you install swi prolog in Linux using apt-get command?
Here is a tutorial to learn how to install swi prolog using apt-get command.
Step 1: Open terminal with su access and enter the command as shown below:
apt-get install swi prolog -y
Step 2: After completion, the install command exits and instructs the user to restart the running instances of swi prolog if it is running already.
Result of the Command Execution shown below:
root@hiox:~ apt-get install swi prolog -y
Reading package lists...
Building dependency tree...
Reading state information...
The following packages were automatically installed and are no longer required:
x11 apps libusbip0 libmono data tds2.0 cil libsmbclient libplist1
python packagekit libxcb aux0 libxfce4menu 0.1 0 libsm dev libatk1.0 0
python gnome2 menu libts 0.0 0 syslinux libpackagekit qt 12
gnome media common libical0 python3 minimal libwpd8c2a libcommons pool java
libcdio10 libgtk2.0 common libopencryptoki0 dnsmasq base libtwolame0
libmono security2.0 cil libgsf 1 common update notifier common
python cupshelpers libqca2 iputils tracepath xfonts 75dpi libzbar0
python pyorbit libmtp8 gedit common xsltproc libgutenprint2
libsilcclient 1.1 3 libxcb atom1 erlang crypto libecj java
xserver xorg video all python debian python setuptools libxcomposite1
libice dev lp solve libgail18 libarchive1 xserver xorg video apm libntfs10
libaiksaurus 1.2 data libpth20 xserver xorg video ark xserver xorg video ati
unattended upgrades libxrandr dev authbind libgmime 2.4 2 libv4l 0
libcupsppdc1 telepathy gabble libgnome2 vfs perl libhal storage1
libmono system2.0 cil xfonts scalable libcdio paranoia0 libgnome2 0
libcompizconfig0 python twisted bin libwebkit 1.0 common squashfs tools
libpurple bin gamin libgphoto2 port0 unetbootin translations python mako
usbmuxd nvidia common libxdamage dev python avahi pkg config
python configglue libxklavier16 libxxf86dga1 libxine1 x libcupscgi1 libcaca0
libfile copy recursive perl libmeanwhile1 libgudev 1.0 0 libgnomecanvas2 0
xserver xorg video openchrome erlang xmerl intel gpu tools xbase clients
libmono sqlite2.0 cil libpthread stubs0 libavc1394 0 esound clients
libbonobo2 common screen resolution extra libcupsdriver1 python pygments
libotf0 libatk1.0 data libsgutils2 2 libprotobuf5 gnome mime data
libcanberra pulse libmodplug0c2 python pycurl link grammar dictionaries en
gnome panel data obexd client x11 utils libmagickcore2 libpangomm 1.4 1
upower libotr2 xserver xorg video s3virge libots0 desktop file utils
xserver xorg video v4l python couchdb dnsutils libspectre1 python openssl
x11 xkb utils libgnomeui 0 libcairo perl xserver xorg video mga
gvfs backends libxnee0 libsvga1 obex data server libgtk2 perl
libparted0debian1 xserver xorg video chips libecal1.2 7 libbeagle1
libmono corlib2.0 cil libsane libxfixes dev udisks libimobiledevice0
libgtkmm 2.4 1c2a odbcinst1debian1 update inetd libqt4 test libvarnish1
transmission cli libhyphen0 erlang syntax tools python keybinder
xserver xorg core python louis liblouis data xserver xorg video mach64
libxfconf 0 2 libibus1 ttf dustin libzend framework php libproxy0
libjpeg progs libpst4 xterm libnspr4 dev libxcb render util0 dev
libboost program options1.40.0 libnm util1 python imaging kdelibs5
xserver common libtagc0 libxcb xv0 libgl1 mesa dri empathy common
libbonobo2 0 libmagickwand2 python speechd libvte common
python egenix mxtools aumix common libsctp1 language pack zh hant base
libgnomevfs2 common hpijs xserver xorg video trident docbook xml
libgupnp 1.0 3 libglademm 2.4 1c2a libexo common nvidia current modaliases
libgnomevfs2 extra python software properties cups client logrotate
python ubuntuone storageprotocol x11proto xinerama dev libgl1 mesa glx
mobile broadband provider info xserver xorg video sis libpcap0.8 libx86 1
abiword common x11proto render dev oxygen icon theme libpisock9 libxi dev
xmms2 plugin pulse gconf2 java common dosfstools libgdata google1.2 1
libmono i18n west2.0 cil lksctp tools libapr1 guile 1.8 libs libwps 0.1 1
rpm common aptitude xfdesktop4 data icedtea 6 jre cacao libedata cal1.2 6
language selector common libxnconfig9.0.5 python gnomecanvas
wireshark common libpixman 1 dev libnspr4 0d libsqlite0 libslp1 whois
trousers libdotconf1.0 xserver xorg video siliconmotion xdg user dirs
gdebi core default jre headless python urlgrabber libcairo2
libstartup notification0 checkbox libgnomemm 2.6 1c2 python twisted web
libtpm unseal0 ubuntu system service openoffice.org style human
libgoffice 0.8 8 common xserver xorg input vmmouse libavahi glib1
gnome keyring subversion fortune mod evolution common python pyinotify
xfce keyboard shortcuts libmono posix2.0 cil libcouchdb glib 1.0 2 odbcinst
znc tcl libaprutil1 ldap mono runtime libvisual 0.4 0 telepathy salut
apturl common libsigc++ 2.0 0c2a xserver xorg video savage mtools
libcwidget3 pidgin data libcanberra0 openjdk 6 jre lib libsdl1.2debian alsa
tcl8.4 dev libvde0 libthai data python3.1 libgweather common dcraw
libnss3 dev libgadu3 xorg docs core x11proto kb dev x11proto randr dev
python serial libwavpack1 libqt4 opengl libsoup gnome2.4 1 python genshi
libpsiconv6 libxinerama dev libcap2 bin xserver xorg video tdfx
network manager pptp pptp linux libgtkhtml editor common avahi utils
apache2 utils x11 session utils m17n db libpango perl cpu checker
libglitz glx1 compizconfig backend gconf freetds common transmission common
libglibmm 2.4 1c2a libxosd2 libobparser21 libgamin0
libcommons collections java libdirectfb 1.2 0 python protobuf
erlang runtime tools update manager core libsvn1 openjdk 6 jre headless
xtrans dev libindicate4 libakonadiprivate1 libtspi1 libdevkit power gobject1
gstreamer0.10 gnonlin libx264 85 libxcb event1 xserver xorg video intel
libmcrypt4 libindicator0 python pam librecode0 libffi5 libiec61883 0
libforms1 libvlc2 libxres1 xserver xorg input all libcairomm 1.0 1
libgdata common python aptdaemon liblink grammar4 libgnome mag2 gettext
libqt4 help python qt4 xbitmaps libpango1.0 common x11proto input dev
python glade2 xmms2 plugin id3v2 libgp11 0 python brlapi cups common
uno libs3 network manager xserver xorg video vmware samba doc libgcr0
libpixman 1 0 libsdl1.2debian libexempi3 python sqlitecachec libhpmud0
x11proto fixes dev python tz python sip libijs 0.35 xserver xorg video r128
xubuntu wallpapers aumix libgdu0 libgnome2 common gdb libsilc 1.1 2 libhal1
cvs linux headers 2.6.32 74 xfonts base python xapian apt xapian index hal
xserver xorg input evdev libdbusmenu glib1 libtomcat6 java libxinerama1
libgoocanvas common libesd0 liblouis0 libept0
linux headers 2.6.32 74 generic tk8.4 dev libmono system data2.0 cil
oss compat iputils arping zend framework bin libedata book1.2 2
xserver xorg video vesa libgconfmm 2.6 1c2 libreadline5 libgdome2 0
x11 xfs utils python xdg libsmi2ldbl libupnp3 libaprutil1 dbd sqlite3
libxft2 speech dispatcher libgnomevfs2 0 x11proto xext dev mono gac
libcolamd2.7.1 python vte libnm glib2 libxt dev kdepimlibs data libvte9
libcroco3 modemmanager tzdata java libevent 1.4 2 gconf defaults service
libxext dev python cairo libdbusmenu gtk1 gnome applets data python smbc
system config printer udev libpulse mainloop glib0 libegroupwise1.2 13
apache2.2 bin libcommons dbcp java erlang mnesia libgsf 1 114
libgtop2 common libaa1 libopenobex1 rdesktop libieee1284 3 rarian compat
python telepathy znc perl x11proto damage dev libgnome2 canvas perl libthai0
libxcb keysyms1 linux headers generic rsync python dbus erlang public key
aptdaemon libneon27 gnutls libxapian15 libglitz1 xserver xorg video s3
xserver xorg mono 2.0 gac gnome terminal data libdjvulibre21 libglade2 0
python fstab libxine1 console policykit 1 gnome xserver xorg video nv
libvorbisfile3 python sqlite xfonts 100dpi libspeechd2 esound common
xserver xorg video voodoo python subversion xserver xorg video fbdev
xserver xorg input wacom lxmenu data xmms2 plugin alsa im switch samba ppp
libxfce4util common libservlet2.5 java libglib perl python twisted core
xdg utils xinit libzzip 0 13 libshout3 xserver xorg video nouveau libdv4
libatasmart4 libmono sharpzip2.84 cil libxau dev xfce4 power manager data
libxmmsclient6 libgnome vfsmm 2.6 1c2a nautilus data thunar data
python gnupginterface libfs6 libgdata6 xserver xorg video neomagic
packagekit fglrx modaliases libtotem plparser17 libgnomecanvasmm 2.6 1c2a
a2ps nvidia 96 modaliases php5 mcrypt tcl8.4 tcl8.5 libqt4 assistant ure
pinyin database libplasma3 python gobject xserver xorg input mouse
erlang inets libgtop2 7 xmms2 core ntfsprogs libvisual 0.4 plugins
libxine1 misc plugins python3 ttf arphic bsmi00lp libusbmuxd1
libappindicator0 libm17n 0 libdecoration0 python twisted names
liblircclient0 kdepimlibs5 libgnomeui common xz utils libxfce4util4
libxxf86misc1 m17n contrib libgupnp igd 1.0 2 gksu libgnome keyring0 psutils
libsidplay1 kdelibs bin usbutils smartdimmer libxvmc1
language pack zh hans base jockey common gnome desktop data python gdbm
python cups opencryptoki python3.1 minimal usb creator common libc ares2
apparmor libupower glib1 libpackagekit glib2 12 tk8.4 tk8.5 liblua5.1 0
libanthy0 libxcomposite dev libtag1c2a ubuntu wallpapers libcamel1.2 14
libbonoboui2 0 tomcat6 common python gst0.10 brasero common libwnck common
libxcb render0 dev app install data libxrender dev xmms2 plugin vorbis
libxfce4util bin libxmmsclient glib1 libgksu2 0 sgml data media player info
libmad0 libgnome2 perl xorg ttf arphic gbsn00lp fortunes min xfonts mathml
libgpgme11 libart 2.0 2 evolution data server common protobuf compiler
liblaunchpad integration1 pmount gstreamer0.10 tools python pexpect
ca certificates java libopencore amrnb0 libcdio cdda0 imagemagick vlc data
libzephyr4 xserver xorg video sisusb computer janitor erlang ssl
libpango1.0 0 libgraphite3 libgvfscommon0 libmusicbrainz4c2a libx11 dev
libwpg 0.1 1 libaiksaurus 1.2 0c2a libtar hal info libqt3 mt miscfiles
libxdamage1 x11proto composite dev gvfs libdesktopcouch glib 1.0 2
openoffice.org common patch xvfb capplets data libgnome menu2
language pack zh hans language pack zh hant xserver xorg video tseng
system config printer common xserver xorg video radeon libxcb render0
vzquota libebackend1.2 0 xfconf scrollkeeper info dvd+rw tools libexif12
libgtk2.0 bin libqt4 scripttools python xkit libglu1 mesa libdjvulibre text
libavahi gobject0 libcupsmime1 libnice0 compiz core libxcb1 dev
libxcb shape0 libvala0 xserver xorg video cirrus gstreamer0.10 nice
libbonoboui2 common libloudmouth1 0 libssh 4 python egenix mxdatetime
libxcb shm0 libvlccore2 kdebase runtime data min12xxw libevtlog0 libxv1
znc extra libjson glib 1.0 0 libxmlrpc core c3 libaprutil1
nvidia 173 modaliases p7zip full mscompress libossp uuid16 python rdflib
libprotoc5 libmpcdec3 libpam gnome keyring libgdata1.2 1 libxcb render util0
libopencore amrwb0 openbsd inetd bcmwl modaliases xmms2 icon
indicator application libnet1 libnss3 1d gstreamer0.10 plugins base
totem common x11proto core dev python gtk2 xmms2 client cli python gconf
python crypto adium theme ubuntu xserver xorg input synaptics libgssdp 1.0 2
xmms2 client nycli gnome doc utils libgtk2.0 0 regina3 dvb apps libxine1 bin
libxdmcp dev xserver xorg video rendition libpthread stubs0 dev libsysfs dev
libxcursor dev python libxml2 libedataserver1.2 11 libxkbfile1
libgnomecanvas2 common xserver xorg video i128 telepathy mission control 5
notify osd icons libgnomeuimm 2.6 1c2a libjs mootools libxine1 ffmpeg
libpisync1 libvdeplug2 hplip data erlang base libsoup2.4 1 libgphoto2 2
libgnomekbd common wdiff libebook1.2 9 libgdome2 cpp smart0c2a
libgtksourceview2.0 common packagekit backend apt libtag1 vanilla libxine1
libaudiofile0
Use 'apt-get autoremove' to remove them.
The following extra packages will be installed:
libgmp3 dev libgmpxx4ldbl libncurses5 dev libreadline dev libreadline6 dev
Suggested packages:
libgmp3 doc libmpfr dev swi prolog doc prolog el
The following NEW packages will be installed:
libgmp3 dev libgmpxx4ldbl libncurses5 dev libreadline dev libreadline6 dev
swi prolog
0 upgraded, 6 newly installed, 0 to remove and 1 not upgraded.
Need to get 5513kB of archives.
After this operation, 21.2MB of additional disk space will be used.
Get:1 http://old releases.ubuntu.com/ubuntu/ lucid/main libgmpxx4ldbl 2:4.3.2+dfsg 1ubuntu1 [19.0kB]
Get:2 http://old releases.ubuntu.com/ubuntu/ lucid/main libgmp3 dev 2:4.3.2+dfsg 1ubuntu1 [672kB]
Get:3 http://old releases.ubuntu.com/ubuntu/ lucid/main libncurses5 dev 5.7+20090803 2ubuntu3 [1598kB]
Get:4 http://old releases.ubuntu.com/ubuntu/ lucid/main libreadline6 dev 6.1 1 [257kB]
Get:5 http://old releases.ubuntu.com/ubuntu/ lucid/main libreadline dev 6.1 1 [906B]
Get:6 http://old releases.ubuntu.com/ubuntu/ lucid/universe swi prolog 5.8.0 1 [2966kB]
Fetched 5513kB in 2s (2063kB/s)
Selecting previously deselected package libgmpxx4ldbl.
(Reading database ... (Reading database ... 5%(Reading database ... 10%(Reading database ... 15%(Reading database ... 20%(Reading database ... 25%(Reading database ... 30%(Reading database ... 35%(Reading database ... 40%(Reading database ... 45%(Reading database ... 50%(Reading database ... 55%(Reading database ... 60%(Reading database ... 65%(Reading database ... 70%(Reading database ... 75%(Reading database ... 80%(Reading database ... 85%(Reading database ... 90%(Reading database ... 95%(Reading database ... 100%(Reading database ... 199585 files and directories currently installed.)
Unpacking libgmpxx4ldbl (from .../libgmpxx4ldbl_2%3a4.3.2+dfsg 1ubuntu1_amd64.deb) ...
Selecting previously deselected package libgmp3 dev.
Unpacking libgmp3 dev (from .../libgmp3 dev_2%3a4.3.2+dfsg 1ubuntu1_amd64.deb) ...
Selecting previously deselected package libncurses5 dev.
Unpacking libncurses5 dev (from .../libncurses5 dev_5.7+20090803 2ubuntu3_amd64.deb) ...
Selecting previously deselected package libreadline6 dev.
Unpacking libreadline6 dev (from .../libreadline6 dev_6.1 1_amd64.deb) ...
Selecting previously deselected package libreadline dev.
Unpacking libreadline dev (from .../libreadline dev_6.1 1_amd64.deb) ...
Selecting previously deselected package swi prolog.
Unpacking swi prolog (from .../swi prolog_5.8.0 1_amd64.deb) ...
Processing triggers for man db ...
Processing triggers for install info ...
Processing triggers for menu ...
Setting up libgmpxx4ldbl (2:4.3.2+dfsg 1ubuntu1) ...
Setting up libgmp3 dev (2:4.3.2+dfsg 1ubuntu1) ...
Setting up libncurses5 dev (5.7+20090803 2ubuntu3) ...
Setting up libreadline6 dev (6.1 1) ...
Setting up libreadline dev (6.1 1) ...
Setting up swi prolog (5.8.0 1) ...
update alternatives: using /usr/bin/swipl to provide /usr/bin/prolog (prolog) in auto mode.
Processing triggers for libc bin ...
ldconfig deferred processing now taking place
Processing triggers for menu ...
root@hiox:~
Español
русский
中国