Not verified. Are you owner ?
sponsored links

SWI-Prolog's home

Flexible and fast interface to the C- and C++-Language. The interface allows for calling both-ways, handling of non-determinism both ways and embedding of the SWI-Prolog kernel in C/C++ projects. The goodies: modules (upward compatible to Quintus and SICStus), garbage-collection (transparent to C/C++-code, including atom garbage collection), last-call optimisation, Dynamic expansion of the runtime stacks, ISO exception-handling (including C/C++ interface for catching and throwing exceptions).

Main page screenshot of swi-prolog.org
Popularity
 
5.0 out of 5 by PressAboutUs
Icons
Reviewed on Nov 6st, 2014
  • Press about swi-prolog.org

  • swi-prolog.org writes about

  • Social about swi-prolog.org

Do you know new review about this site?
Suggest a new review!
  •  

    github.com Cmungall/plmake · GitHub

    Getting Started Install SWI-Prolog from http://www.swi-prolog.org Get the latest plmake source from github. No installation steps are required. Add it to your path (changing the directory if necessary): export PATH=$PATH:$HOME/plmake/bin plmake -h Alternate installation instructions This can also... Read article

    Relevance
     
    Find useful? Yes
  •  

    pdb.finkproject.org Fink - Package Database - Package swi-prolog (Prolog compiler (with packages))

    Prolog compiler (with packages) (5.0.8-2) SWI-Prolog is an ISO compatible Prolog compiler. It has a good collection of built-in predicates, a large set of which it shares with Edinburgh C-Prolog, Quintus Prolog and SICStus Prolog. Among its features are a very fast compiler, a Quintus-like module... Read article

    Relevance
     
    Find useful? Yes
  •  

    portableapps.com SWI-Prolog Portable 6.6.5 (Prolog programming environment) Released | PortableApps.com - Portable software for USB, portable and cloud drives

    Comprehensive set of built-in predicates, covering Part 1 of the ISO standard, the de-facto Edinburgh Prolog standard and important parts of Quintus and SICStus Prolog. Fair compatibility to Ciao, YAP and GNU-Prolog. And much more SWI-Prolog Portable is packaged in a PortableApps.com Installer so... Read article

    Relevance
     
    Find useful? Yes
  •  

    review.openstack.org Gerrit Code Review - Prolog Submit Rules Cookbook

    SWI-Prolog Instead of using the prolog-shell program one can also use the SWI-Prolog environment. It provides a better shell interface and a graphical source-level debugger. The rules.pl file This section explains how to create and edit project specific submit rules. How to actually write the sub... Read article

    Relevance
     
    Find useful? Yes
  •  

    redfrontdoor.org Solving Professor Popalop’s puzzles in Prolog | Redfrontdoor

    This puzzle was in my daughter’s Dandy: and I thought it would give me an opportunity to experiment with Prolog, which I’d been meaning to do for a while. I used SWI-Prolog . Structure of the puzzle We’ll represent a block of nine boxes as a list. A box is the expression X/Y/C, meaning that creat... Read article

    Relevance
     
    Find useful? Yes
  •  

    cse.yorku.ca CSE 3402 Intro to Artificial Intelligence

    Running SWI-Prolog in the Prism Lab Getting Prolog About Prolog Read article

    Relevance
     
    Find useful? Yes
  •  

    lix.polytechnique.fr INF 585: Logics for Computer Science

    ; Focus on the role of invariants and the need for additional data structures in logic (integers, lists, etc). [27 Mar, dam & jpj] References and Web Resources Finite semantic trees suffice for resolution and paramodulation strategies, by Jean Goubault-Larrecq and Jean-Pierre Jouannaud ( PDF ). R... Read article

    Relevance
     
    Find useful? Yes
  •  

    linux.die.net Plld(1): Create SWI-Prolog embedded executable - Linux man page

    Note that some commands are printed as shell commands, but actually executed by plld itself for compatibility with the Win32 platforms. -f Fake operation. Together with -v this prints the commands that need to be executed without actually doing anything. -Ecppargument ... If the first option is -... Read article

    Relevance
     
    Find useful? Yes
  •  

    lidetjamsession.wordpress.com Software | JamSession - Intelligent Interactive Environments At Your Service

    The interpreter has been implemented using SWI-PROLOG extended with the TSPL package, and assumes that worlds and global specifications of predicates are going to stay on a tuple space implemented using SQLSPACES, which has been implemented at the University of Duisburg-Essen (Germany). In our ex... Read article

    Relevance
     
    Find useful? Yes
  •  

    gerrit-review.googlesource.com Gerrit Code Review - Prolog Submit Rules Cookbook

    SWI-Prolog Instead of using the prolog-shell program one can also use the SWI-Prolog environment. It provides a better shell interface and a graphical source-level debugger. The rules.pl file This section explains how to create and edit project specific submit rules. How to actually write the sub... Read article

    Relevance
     
    Find useful? Yes
  •  

    linguistics.ucla.edu Working

    X SWI-Prolog X Graphviz Welcome to my dissertation beta-tester page. I’m currently circulating the manuscript and code below in hopes of getting some feedback before I release this work to the world at large at the end of August. Please feel free to read the dissertation without playing with the ... Read article

    Relevance
     
    Find useful? Yes
  •  

    urz.uni-heidelberg.de SWI-Prolog 5.0.8 Reference Manual

    SWI-Prolog 5.0.8 Reference Manual Read article

    Relevance
     
    Find useful? Yes
  •  

    logtalk.org Logtalk links

    Logtalk on the web Scalogic — contains Scalogtalk, an SWI-Prolog/Logtalk/Gorgias wrapper in Scala ISO/IEC 13211-2 - Programming Language Prolog Part II: Modules Read article

    Relevance
     
    Find useful? Yes
  •  

    blog.postmaster.gr Coding Guidelines for Prolog « Blogs are like opinions. Everybody has one…

    From the SWI-Prolog mailing list: “Coding Guidelines for Prolog“. There’s also interesting commentary on the list, but has not yet appeared in the list archives. Read article

    Relevance
     
    Find useful? Yes
  •  

    lipn.univ-paris13.fr Lear - LIPN

    Lear is a relational concept-learning system implemented in swi-prolog . It is based on research works made at the Laboratoire d'Informatique de Paris Nord ( machine learning team ) Read article

    Relevance
     
    Find useful? Yes

Twitter about swi-prolog.org

Facebook about swi-prolog.org

Get weekly email alerts

Follow swi-prolog.org

Get every new review delivered to your Inbox.