I want to use a Python script as a frontend to a Prolog program that uses the SWI-PL engine. So, the components of the setup are: Python (2.7 or higher) SWI-PL: website here I've been looking ...

I would like to hear from people who have real world programming experience in using SWI-Prolog's semantic library. Edit: The reason for this question is, among the many people I talked to with pro...

I found an example of shift-reset delimited continuations in Haskell here: resetT $ do alfa bravo x <- shiftT $ \esc -> do charlie lift $ esc 1 delta lift $ esc 2 return 0 zulu x T...

I read somewhere that you can think of modules as objects in Prolog. I am trying to get my head around this, and if it a good way to code. If I have two files, one defining a class dog and then an...

I am trying to execute a prolog script from teh command line. I am basing my attempts on what I found at How to run SWI-Prolog from the command line? however that is not working for any non-trivial...

I was wondering if you know of any way to use prolog for stream processing, that is, some kind of reactive programming, or at least to let a query run on a knowledge base that is continuously updat...

First I load the file with SWI-Prolog $ swipl file.pl then I modify the file and save. Now how do I reload the file like ?- reload for this modified file.pl?

I'm learning Prolog by doing the Advent of Code challenges. Spoilers for Advent of Code 2021 day 7 below: The objective is: given a list of natural numbers n_1,..., n_k, find min_(x\in \N) \sum_i=0...

I'd like to read a plain text file and apply a predicate to each line (the predicates contain write which does the output). How would I do that?

Is there a built-in predicate or a easy way to remove from the knowledge database of prolog a source files that has already been consulted? I've gone through the reference manual and didn't find an...

Having a list List filled with numbers, I want to obtain a list of pairs Pairs, where each pair in Pairs is in the form <number>-0, i.e., each number of List should be followed by -0. I came ...

I try to implement efficient exclusive-or (XOR) in Prolog CLPFD. This should be simple predicate like: xor(A, B, AxorB). A, B, AxorB are natural numbers (with 0) and AxorB is a result of A xor B...

I have an interest in playing and fuxing with prolog, I have installed the swi-prolog and added the repository, just in case anyone is interested on which one commands I used: % sudo apt-add-repos...

As far as I can tell, with sound unification, SLD resolution should not create cyclic data structures (Is this correct?) If so, one could, in theory, implement Prolog in such a way that it wouldn't...

To quote the SICStus Prolog manual: The usual mathematical theory behind Logic Programming forbids the creation of cyclic terms, dictating that an occurs-check should be done each time a variable ...

I'm trying to use call_with_depth_limit/3 in SWI-Prolog to implement iterative deepening and either I don't understand how it works or it's misbehaving. I have an example where the following happen...

Are there any up-to-date Prolog implementation benchmarks (with results)? I found this on the mercury web site. Surprisingly, it shows a 20-fold gap between swi-prolog and Aquarius. I suspect that ...

How can an SWL-Prolog terminal be added in VSCode? Like PowerShell but SWI-Prolog terminal.

I want to run swi-prolog program on the machine (actually a server) where there is no prolog installed. The prolog code swipl_test.pl: main :- write('Hello, world\n'). On the local machine 4.4...

I'm using SWI-Prolog and I'm trying to print a list but if the list has more than 9 items - it look like that - [1, 15, 8, 22, 5, 19, 12, 25, 3|...] is there a way to show the whole list?

?- assertz(:- module(foo1, [f/1])). true. ?- foo1:assertz(f(1)). true. ?- foo1:f(1). true. ?- foo2:f(1). Correct to: "foo1:f(1)"? no ERROR: Undefined procedure: foo2:f/1 ERROR: In: ERROR: [8] fo...

I'd like to see (SWI)Prolog advertised as a NoSQL 'serious contender'. (SWI)Prolog has awesome data bindings features, and lot of power - of course - to write logic against such big data. With re...

I have a CSV file that look something like below: i.e. not in Prolog format james,facebook,intel,samsung rebecca,intel,samsung,facebook Ian,samsung,facebook,intel I am trying to write a Prolog p...

When I press up/down, I should get - just like unix - the previous commands, but instead I get: Welcome to SWI-Prolog (Multi-threaded, 32 bits, Version 6.0.0) Copyright (c) 1990-2011 University of...

in SWI Prolog terminal how do I view the current working directory and change the current working directory? I found: working_directory(CWD, CWD) but I dont think its what I need