Stack Overflow
Stack Overflow

Questions tagged [swi-prolog]

SWI-Prolog is an open source implementation of Prolog that runs on Unix, Windows and Mac.

is an open source implementation of the programming language , commonly used for teaching and semantic web applications. It has a rich set of features and libraries including:

  • Constraint logic programming
  • Multithreading
  • Unit testing
  • GUI
  • Interfacing to Java
  • ODBC and others
  • Literate programming
  • A web server
  • SGML
  • RDF and RDFS

Along with developer tools (including an IDE with a GUI debugger and profiler).

SWI-Prolog runs on Unix, Windows, and Macintosh platforms.

SWI-Prolog has been under continuous development since 1987. Its main author is Jan Wielemaker.

The name SWI is derived from Sociaal-Wetenschappelijke Informatica ("Social Science Informatics"), the former name of the group at the University of Amsterdam, where Wielemaker is employed. The name of this group has changed to HCS (Human-Computer Studies).

http://www.swi-prolog.org/

Useful links

1221 questions
-2
votes
1 answer

Modify the SWI-Prolg toplevel

Is it possible to do modifications to the toplevel of SWI Prolog?
user1220625
  • 75
  • 1
  • 4
-2
votes
1 answer

Prolog tells me a procedure is undefined when it appears to be defined

I'm new to Prolog and I'm having trouble figuring out why it's telling me procedures are undefined when I query them, when they appear to be defined. This code was given to me by my instructor and I'm not allowed to change it, so it must be a…
jipthechip
  • 157
  • 1
  • 13
-2
votes
1 answer

store Prolog answers to a file

I'm working with ALEPH reasoning engine in SWI-Prolog. I want to save the rules that ALEPH infers and shows them in SWI-Prolog console, but I have no idea how can I do it! The sample result is depicted in the picture below, [Rule 134] [Pos cover =…
Arsham
  • 1
-2
votes
1 answer

Prolog and Java with Eclipse (arch Linux)

I need to use JDK 8 and SWI-Prolog 6.6.4 for a university project and Eclipse. I installed SWI-Prolog from source and the JDK from aur. When I try to execute the example y get this error: Exception in thread "main" java.lang.UnsatisfiedLinkError:…
user2835994
  • 3
  • 1
  • 6
-3
votes
1 answer

How to run swi-prolog file from ruby code

system(File.dirname(FILE)+"/file.pl") if i use this command the file.pl not run it, but if i use this command on Windows promt, it run.
Davide Trepiccione
  • 1
  • 2
-4
votes
1 answer

Is this the correct way to encode the structure of the Liar Paradox in Prolog?

Is this the correct way to encode the Liar Paradox in Prolog? Liar Paradox in English: "This sentence is not true." ?- LP = not(true(LP)). LP = not(true(LP)). ?- unify_with_occurs_check(LP, not(true(LP))). false.
polcott
  • 143
  • 1
  • 13
1 2 3
…
81
82