:- set_prolog_flag(prefer_rationals, true). % Int/Int --> Rational :- set_prolog_flag(rational_syntax, natural). % Write as `1/3`
|
|
4
|
33
|
May 17, 2025
|
I am having error with janus
|
|
7
|
108
|
May 11, 2025
|
Sweeprolog: Overriding theme
|
|
0
|
34
|
May 8, 2025
|
Named singleton variables
|
|
7
|
162
|
April 9, 2025
|
Swipl-bundle.js not working
|
|
4
|
52
|
March 9, 2025
|
How to embed Python into Prolog on MacOS?
|
|
2
|
40
|
February 3, 2025
|
Sporadic "abort trap" when using trace/2
|
|
3
|
37
|
January 26, 2025
|
Pengine_rpc and HTTP Basic Auth
|
|
7
|
39
|
January 15, 2025
|
C++ in Prolog. how to get the result in a variable?
|
|
2
|
47
|
January 14, 2025
|
How to tell xref/pceemacs about my module
|
|
4
|
52
|
December 12, 2024
|
Prolog
|
|
1
|
54
|
October 15, 2024
|
Matching an identical subset of two lists
|
|
7
|
86
|
September 17, 2024
|
Set a default value for a variable if it is not provided by user
|
|
14
|
203
|
September 6, 2024
|
JPL: error after consulting a file not throwing exception
|
|
6
|
1014
|
August 27, 2024
|
Seeking Advice on Pre-built SWI-Prolog with Janus Python Interface for GitHub Actions
|
|
2
|
45
|
August 24, 2024
|
Primality Test
|
|
6
|
56
|
August 22, 2024
|
There is an error in sending mail using SMTP
|
|
3
|
76
|
August 17, 2024
|
Problem with stand alone
|
|
0
|
39
|
July 25, 2024
|
Autumn Challenge 2023: Lion and Unicorn
|
|
73
|
1258
|
July 21, 2024
|
How to use JPL in alpine container from java service
|
|
9
|
86
|
July 19, 2024
|
How to reverse the output of proof printing in this fork of seqprover.pl
|
|
5
|
194
|
May 20, 2024
|
Including prolog c++ libraries inside Unreal Engine
|
|
2
|
94
|
July 2, 2024
|
Thread error while doing boolean calculations and file writing
|
|
4
|
121
|
June 24, 2024
|
Using swipl-ld on Linux and MacOS
|
|
2
|
168
|
June 10, 2024
|
Erratic behaviour when raising exception from foreign code
|
|
9
|
196
|
May 31, 2024
|
Why the answer contains a `false`?
|
|
16
|
3098
|
May 14, 2024
|
Variables with Janus
|
|
14
|
202
|
May 14, 2024
|
Installing SWI-Prolog on Mac OS X with xpce support via homebrew
|
|
13
|
895
|
May 12, 2024
|
Abbreviated module names
|
|
1
|
120
|
May 2, 2024
|
Compress a list that contains segments of continuous numbers to a list which contains list of range of segments [start,end]
|
|
18
|
223
|
April 30, 2024
|