Posted   by 

Prolog For Windows 10

  • For windows users, a Notepad User Defined Lanuage (UDL) profile file for GNU Prolog (also available from the Notepad wiki about UDL). To install: launch Notepad, in the 'Language' menu, chose 'Define your own language', click on 'Import' and select the downloaded.xml file.
  • Visual Prolog is a powerful and type safe high level programming language combining the very best features of logical, functional and object-oriented programming paradigms in a consistent and elegant way. With Visual Prolog you can build applications for the Microsoft Windows 32/64 platforms.

TL;DR for 'Install development version on Linux' (official description is here where there actually is now less text 😬)

Build script

Here is a little bash script I use to set up a some SWIPL versions I used for development. It's too complex for general use, but it's all-in-one and rather foolproof; moving this from the back of the comment to the front of the comment. It's probably easier to pull off than doing it manually.

For windows users, a Notepad User Defined Lanuage (UDL) profile file for GNU Prolog (also available from the Notepad wiki about UDL). To install: launch Notepad, in the 'Language' menu, chose 'Define your own language', click on 'Import' and select the downloaded.xml file. Then close and restart Notepad. Download Prolog For Windows 10 From SWI-Prolog: SWI-Prolog offers a comprehensive Free Software Prolog environment, which features fast compilation, robust and free of memory leaks, unbounded integer and rational number arithmetic based on GMP library, and flexible and fast interface to the C.

  • Grab it
  • Modify the values at the top to your liking:
    • system_install_dir
    • toplevel_dir_fq
  • The command to execute is:
    • `swiprologpull.sh clone system` to download the SWI-Prolog distro/modules
    • `swiprologpull.sh build system` to build the SWI-Prolog distro

It will ask you before letting loose:

To compile and test 'JPL', the Java-Prolog bridge, you need to have a valid Java SDK on your system (Java 8 is recommended but Adopt JDK 14 seems to work too). The script needs to find the jars for hamcrest and junit in a directory called jars at the same level as the directory into which the SWI-Prolog distribution is cloned:

You get those jars from

Compiling manually

With bash.

Building is done using cmake, and it uses ninja-build to compute dependencies and build.

  • CMAKE must have been installed (on Fedora this is done with `dnf install cmake` but your system may have some different package tool than dnf, for example apt)
  • ninja-build must have been installed (on Fedora: `dnf install ninja-build`)
Prolog For Windows 10

Suppose we want to install SWIPL into this directory:

You can also install it somewhere in your home directory, or at some other place, it's up to you. If you install it in your home directory, there is no need to change to user root below.

As root:

You may want to prepare the installation directory:

Now may also be the time to install additional packages that SWI-Prolog depends on, in particular:

Prolog Download

As non-root, in your home directory

Turbo

(... Maybe read CMAKE.md for more info at this point ...)

You are now inside directory swipl-devel; not the .. at the end of the cmake command which tells cmake to look for its necessary files one directory up

If you want to run functionality tests at runtime with the command test_installation/0, also add the option -DINSTALL_TESTS=ON to the cmake options:

By default the system configures all features (depending on whether the required packages these features depend on exist on the system). In particular, GMP, ODBC, JPL, graphics.

Soon you will see:

Then actually compile and run the tests:

(Note that if you want to compile the Prolog-Java bridge 'JPL', you will have to have a discoverable JDK on the system; for testing you will need the hamcrest jar and junit jar but this is going too far now)

Then, install as root:

To make sure SWI-Prolog is found on-PATH, add the following script as 'logic.sh' to `/etc/profile.d/` (this should work but may depend on the system) :

And create the symlink corresponding to `/usr/local/logic/swipl`, linking to `/usr/local/logic/swipl/swiplexe_8.3.7` or similar. As user root:

Check using tree

Drop root privileges. As non-root:

You can now run check_intallation/0 to see whether there are any remaining problems (there may be some but you also may not be interested in fixing them):

etc.

The above messages will point you to 'problem solving pages' in this directory:

  • Overview
  • Tips & Tricks
  • Uninstall Instruction
  • FAQ

  • Visual Prolog Description

    Visual Prolog 7.3, Build 7303 Personal Edition
    Visual Prolog is a powerful programming language combining best features of logical, functional and object-oriented programming. It counts PDC Prolog and Turbo Prolog as its predecessors.
    The goal of Visual Prolog is to support industrial strength programming of complex knowledge emphasized problems. It supports advanced client-server and three-tier solutions is especially well suited for dealing with complex knowledge.
    Visual Prolog features:
    * Logical programming concepts (backtracking, pattern matching)
    * Algebraic data types
    * A unique object system
    * Multi-threading (not supported in the Personal Edition)
    * Unicode support
    * Automatic memory management (garbage collection)
    * much more
    Visual Prolog is a full-featured programming environment with:
    * Integrated Development Environment
    * Compiler
    * Linker
    * Debugger
    The Personal Edition is for non-commercial usage only. It creates EXE and DLL files. There is library support for: file system, console, registry, environment variables and GUI programs.
    The Personal Edition has limited library support compared to the Commercial Edition. With the Commercial Edition you get additional GUI controls, COM support, ODBC support, sockets, HTTP ActiveX Support, etc.
    Discussion forum: http://discuss.visual-prolog.com/
    Tutorials : http://wiki.visual-prolog.com/index.php?title=Category:Tutorials
    Visual Prolog wiki: http://wiki.visual-prolog.com/
    Download examples: http://www.visual-prolog.com/vip/example/default.htm
    Buy Visual Prolog Commercial Edition: http://order.pdc.dk/ce.aspx

    Features

    • Visual Prolog Free & Safe Download!
    • Visual Prolog Latest Version!
    • Works with All Windows versions
    • Users choice!

    Disclaimer

    Visual Prolog is a product developed by Prolog Development Center A/s. This site is not directly affiliated with Prolog Development Center A/s. All trademarks, registered trademarks, product names and company names or logos mentioned herein are the property of their respective owners.

    All informations about programs or games on this website have been found in open sources on the Internet. All programs and games not hosted on our site. When visitor click 'Download now' button files will downloading directly from official sources(owners sites). QP Download is strongly against the piracy, we do not support any manifestation of piracy. If you think that app/game you own the copyrights is listed on our website and you want to remove it, please contact us. We are DMCA-compliant and gladly to work with you. Please find the DMCA / Removal Request below.

    DMCA / REMOVAL REQUEST

    Please include the following information in your claim request:

    • Identification of the copyrighted work that you claim has been infringed;
    • An exact description of where the material about which you complain is located within the QPDownload.com;
    • Your full address, phone number, and email address;
    • A statement by you that you have a good-faith belief that the disputed use is not authorized by the copyright owner, its agent, or the law;
    • A statement by you, made under penalty of perjury, that the above information in your notice is accurate and that you are the owner of the copyright interest involved or are authorized to act on behalf of that owner;
    • Your electronic or physical signature.

    You may send an email to support [at] qpdownload.com for all DMCA / Removal Requests.

  • You can find a lot of useful information about the different software on our QP Download Blog page.

    Latest Posts:

  • How to uninstall Visual Prolog?

    How do I uninstall Visual Prolog in Windows Vista / Windows 7 / Windows 8?

    • Click 'Start'
    • Click on 'Control Panel'
    • Under Programs click the Uninstall a Program link.
    • Select 'Visual Prolog' and right click, then select Uninstall/Change.
    • Click 'Yes' to confirm the uninstallation.

    How do I uninstall Visual Prolog in Windows XP?

    • Click 'Start'
    • Click on 'Control Panel'
    • Click the Add or Remove Programs icon.
    • Click on 'Visual Prolog', then click 'Remove/Uninstall.'
    • Click 'Yes' to confirm the uninstallation.

    How do I uninstall Visual Prolog in Windows 95, 98, Me, NT, 2000?

    • Click 'Start'
    • Click on 'Control Panel'
    • Double-click the 'Add/Remove Programs' icon.
    • Select 'Visual Prolog' and right click, then select Uninstall/Change.
    • Click 'Yes' to confirm the uninstallation.

  • Frequently Asked Questions

      How much does it cost to download Visual Prolog?

      Nothing! Download Visual Prolog from official sites for free using QPDownload.com. Additional information about license you can found on owners sites.

      How do I access the free Visual Prolog download for PC?

      It's easy! Just click the free Visual Prolog download button at the top left of the page. Clicking this link will start the installer to download Visual Prolog free for Windows.

      Will this Visual Prolog download work on Windows?

      Yes! The free Visual Prolog download for PC works on most current Windows operating systems.

Turbo Prolog For Windows 10 Versions

Screenshots

Download Prolog For Windows 10

More info

  • Developer:Prolog Development Center A/s
  • File size:24.46 MB
  • Operating system:Windows 10, Windows 8/8.1, Windows 7, Windows Vista, Windows XP

Related Apps

    C-Free

    Compilers

    CMD2EXE

    Compilers

    Droplight

    Compilers