added Prolog interpreter

This commit is contained in:
Phuntsok Drak-pa 2019-10-21 09:06:01 +02:00
parent a0c76a5345
commit e238342501
2 changed files with 8 additions and 8 deletions

View File

@ -115,10 +115,10 @@ ntfs-3g numlockx openssh p7zip pacman-contrib pandoc-bin pavucontrol pciutils \
pcurses pdfpc polybar pulseaudio-bluetooth python-envtpl-git python-pip \
python-pywal qemu r raw-thumbnailer reflector rofi rofi-wifi-menu-git rsync \
rtv rustup s-nail samba scrot sent shadow siji-git simplescreenrecorder \
speedcrunch sshfs st-luke-git texlive-bibtexextra texlive-bin texlive-core \
texlive-fontsextra texlive-formatsextra texlive-games texlive-humanities \
texlive-langchinese texlive-langcyrillic texlive-langextra texlive-langgreek \
texlive-langjapanese texlive-langkorean texlive-latexextra \
speedcrunch sshfs st-luke-git swi-prolog texlive-bibtexextra texlive-bin \
texlive-core texlive-fontsextra texlive-formatsextra texlive-games \
texlive-humanities texlive-langchinese texlive-langcyrillic texlive-langextra \
texlive-langgreek texlive-langjapanese texlive-langkorean texlive-latexextra \
texlive-localmanager-git texlive-music texlive-pictures texlive-pstricks \
texlive-publishers texlive-science tmux tree ttf-arphic-uming ttf-baekmuk \
ttf-bitstream-vera ttf-dejavu ttf-google-fonts-opinionated-git ttf-joypixels \

View File

@ -419,10 +419,10 @@
pcurses pdfpc polybar pulseaudio-bluetooth python-envtpl-git python-pip \
python-pywal qemu r raw-thumbnailer reflector rofi rofi-wifi-menu-git rsync \
rtv rustup s-nail samba scrot sent shadow siji-git simplescreenrecorder \
speedcrunch sshfs st-luke-git texlive-bibtexextra texlive-bin texlive-core \
texlive-fontsextra texlive-formatsextra texlive-games texlive-humanities \
texlive-langchinese texlive-langcyrillic texlive-langextra texlive-langgreek \
texlive-langjapanese texlive-langkorean texlive-latexextra \
speedcrunch sshfs st-luke-git swi-prolog texlive-bibtexextra texlive-bin \
texlive-core texlive-fontsextra texlive-formatsextra texlive-games \
texlive-humanities texlive-langchinese texlive-langcyrillic texlive-langextra \
texlive-langgreek texlive-langjapanese texlive-langkorean texlive-latexextra \
texlive-localmanager-git texlive-music texlive-pictures texlive-pstricks \
texlive-publishers texlive-science tmux tree ttf-arphic-uming ttf-baekmuk \
ttf-bitstream-vera ttf-dejavu ttf-google-fonts-opinionated-git ttf-joypixels \