Mac How To Download Prolog

 

GNU Prolog for Mac OS X v.1.4.0. GNU Prolog is a free Prolog compiler with constraint solving over finite domains developed by Daniel Diaz. GNU Prolog accepts Prolog+constraint programs and produces native binaries (like gcc does from a C source). The obtained executable is then stand-alone. Download Freeware GNU Prolog for Mac OS X. What is GNU Prolog GNU Prolog is a free Prolog compiler with constraint solving over finite domains developed by Daniel Diaz. GNU Prolog accepts Prolog+constraint programs and produces native binaries (like gcc does from a C source). ProLog is an electronic logbook for all of your athletic training. The other answer is more or less correct, however, how it works might depend on your OS. The most portable way to do it is, appartently: $ cat example.pl #!/path/to/your/swipl:- setprologflag(verbose, silent). Thank you for downloading SWI-Prolog for Mac from our software portal. The package you are about to download is authentic and was not repacked or modified in any way by us. The download was scanned for viruses by our system. We also recommend you check the files before installation. The version of the Mac program you are about to download is 7.2.3.

ppm install Prolog

How to install Prolog

  1. Download and install ActivePerl
  2. Buy and install the Business Edition license from account.activestate.com
  3. Open Command Prompt
  4. Type ppm install Prolog

Prolog contains builds that are only available via PPM when you have a current ActivePerl Business Edition subscription.

How To Download Prolog On Mac

Perl 5.8Perl 5.10Perl 5.12Perl 5.14Perl 5.16Perl 5.18Perl 5.20Perl 5.22Perl 5.24
Windows (32-bit) n/a
alpha Available View build log
n/a n/a n/a n/a n/a
Windows (64-bit) n/a
alpha Available View build log
n/a
Mac OS X n/a n/a n/a
Linux (x86, 32-bit)
alpha Available View build log
alpha Available View build log
n/a n/a n/a n/a n/a
Linux (x86, 64-bit) n/a
alpha Available View build log
n/a
Solaris (SPARC, 32-bit) n/a n/a n/a n/a n/a n/a n/a
Solaris (SPARC, 64-bit) n/a n/a n/a n/a n/a n/a n/a
Links
Author
Mac how to download prologue
Lastest release
Mac How To Download Prolog

CSE 341 - Programming Languages

We're using SWI Prolog, version 6.2.6.

Download Gnu Prolog For Windows

When you start Prolog, you should see an introductory greeting and then the Prolog command prompt:

Running Prolog on attu

If you're planning on loading a file, it will simplify things to first navigate to the directory that contains your file, so that Prolog can find it easily.

In any case run Prolog from the command line using

Running Prolog on the CSE Undergrad Windows Machines

Run Prolog from the “Start” menu. It's here:
All Programs / DEV TOOLS & LANGUAGES / SWI-Prolog

If you want to load a file, you'll either need to specify an absolute file path, or change the current working directory to the appropriate place. Here's how to change the current working directory. If your files are in your home directory on the Z drive in the cse341 subdirectory, type this at the Prolog command prompt:

(The double backslash is needed because a single backslash indicates some special character, e.g. n for newline. And in case you're wondering, X will be unified with the previous working directory.)

Double-clicking on a .pl Prolog source file is going to start perl, so that's not going to work.

Running Prolog on a Personal Machine

SWI Prolog is available for Windows, Mac, and Linux. Here's the download page: http://www.swi-prolog.org/Download.html.

A few additional Macintosh hints: if you use the Finder and double-click on SWI Prolog in Applications, depending on your security settings, you may get an error. If you do, try right-clicking (or control-clicking) on the application instead, and say “run it anyway”. You can also run it from the command line using the swipl executable in /Applications/SWI-Prolog.app/Contents/MacOS, assuming you installed it in the default location. To use the graphical debugger, install xquartz (X11), then open a X11 terminal, and run Prolog from there.

Basic Prolog Commands

A few essential commands:

halt.
exit Prolog (short form: control-d)
consult(filename).
load the file named filename.pl (note the added .pl extension). If you need some more complex name (for example with a path), put it in single quotes, for example consult('/Users/schmertzkopf/squid.pl').
[filename].
shorthand for consult
help(topic) or apropos(topic).
Brings up the relevant section of the manual in a separate window (so requires X for linux/Mac).

Editing Prolog Code

Prepare source files using any convenient editor. The standard file extension for Prolog files is .pl

Prolog For Windows 10

If you want to use emacs, include this in your .emacs file in your home directory: (Without this, emacs is going to think you're writing in perl.)

There are other versions of emacs Prolog mode if you want to try one - see e.g. Using SWI-Prolog with GNU-Emacs. However, the default mode should be fine for 341.

Debugging

SWI Prolog provides two interfaces to the debugger: a text-based and a graphical interface:

The graphical debugger doesn't seem to be installed with the version of Prolog on the Lab linux machines, unfortunately. It is on the Lab Windows machines, though.

For old-school debugging use the write goal. For example, here it is in the body of a rule: