Запуск пролога на mac
У меня самая трудная попытка запустить SWI-пролог на моем Mac.
Когда я печатаю:
Я получаю сообщение об ошибке:
Когда я просто набираю «swipl», я получаю:
Я пробовал это как на терминале, так и на XQuartz. Я даже зашел в
чтобы увидеть, будет ли это что-либо делать, однако текст пролога «Добро пожаловать» никогда не появляется. Вполне возможно, что ближе всего я когда-либо работал, когда я набрал «pl», когда находился в папке MacOS. Однако я остался с моим терминалом, ничего не делая и должен был использовать Crtl-D.
Есть ли что-то, что я делаю неправильно? Я установил что-то неправильно?
Я работаю на Mac OS X 10.9.1 Mavericks. Я поместил приложение SWI-Prolog в папку своего приложения, и я также загрузил XQuartz за рекомендацию на веб-сайте.
ОТВЕТЫ
Ответ 1
Если у вас установлен Homebrew, вы можете просто запустить
из терминала, который будет строить его из источника в одной команде.
Затем вы можете запустить интерпретатор с помощью swipl .
Ответ 2
Существует три разумных способа установки SWI-Prolog на MacOS X в возрастающем порядке сложности:
Загрузите приложение SWI-Prolog. В этом случае вы просто загрузите образ диска, откройте его и перетащите приложение на свой диск (например, в папку Applications . Вы используете приложение как любое другое приложение, дважды щелкнув по его значку. также используйте двоичный код внутри пакета приложений, добавьте в него каталог Contents/MacOS на ваш системный путь (например, предположив, что вы скопировали приложение SWI-Prolog в папку приложений, сделайте export PATH=/Applications/SWI-Prolog.app/Contents/MacOS:$PATH в файле конфигурации оболочки).
Использование MacPorts. Предполагая, что он установлен и обновлен, просто введите sudo port install swi-prolog для стабильной версии или sudo port install swi-prolog-devel для версии разработки. Замените sudo port install на sudo port -u upgrade при обновлении установленной версии. Это вы уже используете MacPorts, тогда /opt/local/bin уже должен быть в вашем системном пути. Введите echo $PATH в окне Terminal , чтобы проверить.
Компиляция из источников. В этом случае загрузите исходный архив, распакуйте его и следуйте инструкциям в файле README.MacOSX .
Ответ 3
OSX EI Captian имеет эту команду для установки swi-proog
Ответ 4
Homebrew переместил swi-prolog на вершину несколько дней назад, и из-за этого другие ответы больше не действительны. Причина этого: формула swi-prolog была расположена в бутылке x11, но зависимость x11 является необязательной.
На сегодняшний день, чтобы установить swi-proog с homebrew, просто выполните:
Если вы уже установили его из бутылки x11, подумайте об удалении переустановки из нового местоположения. В противном случае вы можете столкнуться с ошибками при обновлении/обновлении.
Ответ 5
Если вы загрузите приложение SWI-Prolog в свою папку /Applications , добавьте его в свой .bash_profile :
Двоид swipl живет в этом каталоге MacOS. (Не забудьте после source
Источник
Visual prolog mac os
Last updated: Oct 31, 2018, homebrew
Using Macports
Building SWI-Prolog for MacOS requires Macports. In general, the Portfiles are kept nicely up-to-date thanks to Paulo Moura. If you are a Macport user, SWI-Prolog can be installed simply using one of the commands below. The first installs the `stable’ version and the second the `development’ version. Note that most of the time developers are better of using the development version.
If you like to keep nice and lean system (i.e., if you do not want Macports copies of X11, ODBC, etc), you still need to install several prerequisites. First:
- Xcode (can be installed as a free app from the appstore)
- Macports (download from http://www.macports.org/)
- X11 (download from http://xquartz.macosforge.org/landing/)
Next, you must install the following Macport libraries for a complete build.
- If you want JPL (the Java interface) you can also install the Oracle JDK. As Oracle gets increasingly annoying about agreeing with their license and as of version 10 creating an account with Oracle, we switched to OpenJDK. Versions before 9 have a bug that causes the Mac to think you have no JRE when accessing Java through JNI.
Next, you can download SWI-Prolog as a source archive or using GIT. After installing all dependencies SWI-Prolog can be build according to the generic instructions using cmake that can be found here
Using Homebrew
Homebrew provides an alternative to Macports. The command below installs the latest stable version of SWI-Prolog:
The latest git version of SWI-Prolog can be installed with this command:
(contributed by Rinke Hoekstra)
Building from source using Homebrew for dependencies
As of version 7.7.21 the SWI-Prolog sources are fully compatible for building with dependencies provided by Homebrew. The dependencies can be installed using
Brew does not provide junit.jar which is needed to run the JPL (Java interface) tests. If you want to test this get junit.jar as described in https://github.com/junit-team/junit4/wiki/download-and-install and install in /usr/local/share/java/junit.jar .
After installing all dependencies SWI-Prolog can be build according to the generic instructions using cmake that can be found here
See also — The Portfile — The scripts for building a binary release as distributed through our download pages are available in a git repository. Use
Источник
Prolog for Mac
Let’s assume that you need to set up Prolog for OS X. If you are still here let’s continue.
After reading some book from 80s about Prolog I found that language to be interesting and I decided to write some simple things in it. But I had to install it somehow on my Mac preferably without any stupid virtual machines. So here’s what I ended with.
- All crossplatform solutions are based on Eclipse, so first of all you need Eclipse. There are a lot of versions, but I chose the one with less stuff I don’t need because I won’t use anything related to Java development.
- The first plugin I tested was PDT which is too old and doesn’t work with Eclipse 3.5, I downloaded 3.1 but haven’t tested it because I got another plugin which works — ProDT. This is just what I need. From Downloads you should choose the smallest file.
- For ProDT to work you need SWI-Prolog — some kind of opensource Prolog.
- I’m not sure if SWI-Prolog requires MacPorts, but anyway I recommend you to install it. It’s useful.
- Extract ProDT to eclipse/dropins/prodt/eclipse/plugins, run eclipse which installs it automatically.
- After that in ProDT preferences (Eclipse -> Preferences -> Prolog -> Compilers -> Swi Compiler) set compiler path which is at /opt/local/bin/swipl.
- Switch to Prolog view Window -> Show Perspective -> Other. -> Prolog.
That’s it. Now you can test if it actually works:
Источник
Running prolog on a mac
I am having the hardest trouble trying to run SWI-prolog on my Mac.
I get an error saying:
When I just type «swipl» I get:
I’ve tried this on both terminal and XQuartz. I’ve even gone into
to see if that would do anything, however the prolog «Welcome» text never appears. Quite possibly the closest I ever got it to work was when I typed «pl» when inside the MacOS folder. However I was left with my terminal doing nothing and had to use Crtl-D.
Is there something I’m doing wrong? Did I install something incorrectly?
I’m running on a Mac OS X 10.9.1 Mavericks. I placed the SWI-Prolog application into my application folder and I also downloaded XQuartz per recommendation by the website.
6 Answers 6
If you have Homebrew installed, you can simply run
from Terminal, which will build it from source in one command.
You can then run the interpreter using swipl .
There are three sensible ways of installing SWI-Prolog on MacOS X, in increasing order of complexity:
Download the SWI-Prolog application. In this case, you just download a disk image, open it, and drag the application to your disk (e.g. to your Applications folder. You use the application as any other application by double-clicking on its icon. If you want to also use the binary inside the application bundle, add the Contents/MacOS directory inside it to your system path (for example, assuming that you copied the SWI-Prolog application to your applications folder, do export PATH=/Applications/SWI-Prolog.app/Contents/MacOS:$PATH in your shell configuration file).
Using MacPorts. Assuming it’s installed and up-to-date, simply type either sudo port install swi-prolog for the stable version or sudo port install swi-prolog-devel for the development version. Replace sudo port install by sudo port -u upgrade when upgrading the installed version. It you’re already using MacPorts, then /opt/local/bin should already be in your system path. Type echo $PATH in a Terminal window to check.
Источник
Visual prolog mac os
The swi-prolog port depends on readline , ncurses gmp libmcrypt , Xfree86 and jpeg ,
Opening and installing the meta installer installs the required ports from the Darwinports system. The programs are installed in the directory /opt/local/bin . The main executable is named swipl .
Not being a Macintosh Application, SWI-Prolog must be started from a terminal window. This can either be an X11 xterm or Terminal.app from Utilities. For comfortable usage it is necessary to setup some environment variables. The procedure depends on your shell of choice. On Tiger the default is bash . Add the following lines to the file
/.bashrc (or create this file if it does not yet exist).
Now start X11.App and configure it to autostart at login. Open Terminal.app or xterm and type
If X11 is properly configured, the help system of the graphics subsystem XPCE can now be started using the command below.
Prolog source files can be loaded by specifying their filename between [] . In addition to a plain filename, files may be searched on a named search-path 1 See file_search_path/2 in the manual for details. using the notation SearchPath(File) . Two defined paths are library for the Prolog library and swi for the Prolog installation directory. Below we load the file likes.pl from the demo directory in the installation directory, Be sure to get the quotes right and terminate the command with a full-stop ( . ).
After loading a program, one can ask Prolog queries about the program. The query below asks Prolog what food `sam’ likes. The system responds with X = value > if it can prove the goal for a certain X . The user can type the semi-colon (;) 2 On most installations, single-character commands are executed without waiting for the RETURN key. if (s)he wants another solution, or RETURN if (s)he is satisfied, after which Prolog will say Yes . If Prolog answers No , it indicates it cannot find any (more) answers to the query. Finally, Prolog can answer using an error message to indicate the query or program contains an error.
There are three options for editing. One is to run an editor of choice in a separate window and use the below described make/0 command to reload modified files. In addition to this option Prolog can be used to locate predicates, modules and loaded files by specifying the editor of choice for use with the edit/1 command described below. This is achieved by editing the personalisation file /.plrc . A commented template is in the directory dotfiles of the SWI-Prolog installation directory.
Finally, you may wish to use the built-in editor called PceEmacs . This editor provides colourisation support based on real-time parsing and cross-reference analysis of the program. It is started using the command ?- emacs. or can be set as default editor in the personalisation file.
This section provides a very brief overview of important or commonly used SWI-Prolog predicates to control the environment. consult ( +File ) Load a source-file. A Prolog list ([ . ]) can be used to abbreviate the consult command. The file-extension ( .pl can be omitted. Here are some examples:
| ?- consult(likes). | Load likes.pl from the current folder (see pwd/0). |
| ?- [‘/opt/local/lib/swipl-5.6.0/demo/likes’] | Load likes.pl using absolute path. |
To use SWI-Prolog with C or C++ code you must install Apples Xcode environment, providing gcc . If all paths are properly installed, programs can be linked using the plld command described in the manual.
XPCE and the meta-key
By default, the `Meta’ key is bound to X11 modifier 1 which is set by the `Alt’ key. This doesn’t work very well for the Mac as the Alt key is commonly used to create alternative characters, while the Command key, which is used for composing commands, is bound to the X11 modifier 2 . For the Apple we therefore bind the XPCE meta modifier to the X11 modifier 2. Wherever the documentation mentions Alt-X or Meta-X this must be read as Command-X .
Threaded XPCE programs
XPCE normally initializes Xlib for multi-threaded access using XInitThreads(). It turns out the MacOS X X11 version (tested on Tiger) causes a deadlock on certain keys. We now do not call XInitThreads(). As Xlib access is synchronised using the currently global XPCE lock and XPCE/Prolog interfacing is designed to have only a single Prolog thread talking to XPCE this should not be a serious problem.
XPCE programs do not open
A problem has been reported where starting XPCE programs, including the IDE components such as help, PceEmacs, etc. causes the program to hang. In the end, it turned out the fontconfig/freetype library used by XPCE to render Unicode fonts builds a database on first invocation. This process can take several minutes. Ones created, XPCE applications start quickly.
If fonts do not display correctly (e.g. manpce pages not showing bold styles or editor text in `screen’ font looking mis-spaced and misaligned) you may try to rebuild the X11 font cache by using the command sudo /usr/x11r6/bin/ fc-cache .
The SWI-Prolog license allows it to be used in a wide variety of environments, including closed-source commercial applications. In practice, redistribution and embedding is allowed, as long as modifications to the SWI-Prolog source are published following the Free Software rules.
The SWI-Prolog kernel and foreign libraries are licensed under the Lesser General Public License (LGPL). The Prolog files are licensed under the normal General Public License GPL with an additional statement that allows for embedding in proprietary software:
As a special exception, if you link this library with other files, compiled with a Free Software compiler, to produce an executable, this library does not by itself cause the resulting executable to be covered by the GNU General Public License. This exception does not however invalidate any other reasons why the executable file might be covered by the GNU General Public License.
This exception is a proven construct used for libgcc , the GNU C-compiler runtime library.
There are several ways to support SWI-Prolog:
Источник
