Stack Overflow
Stack Overflow

Questions tagged [sicstus-prolog]

SICStus Prolog is an ISO-standard compliant Prolog dialect developed at the Swedish Institute of Computer Science (SICS).

SICStus Prolog is an ISO-standard compliant Prolog dialect developed at the Swedish Institute of Computer Science (SICS). As of 2021-01-03, the current version is 4.6.0.

Home page.

135 questions
2
votes
1 answer

SICStus Prolog garbage collection trace messages

Browsing through the SICStus Prolog User's Manual I stumbled upon the Prolog flag gc_tracing. I wanted to know more, so I started at the "Book Index" and found 3 entries for gc_trace: G gc_trace (prolog flag): ref-lps-flg (#1: "4.9.4 Prolog…
repeat
  • 18,496
  • 4
  • 54
  • 166
2
votes
1 answer

Utilizing CLMUL in SICStus Prolog

How can I get the SICStus Prolog JIT to use any of the following ISA? Intel BMI: POPCNT, LZCNT, TZCNT, PDEP, PEXT Intel CLMUL: PCLMULQDQ ARM AArch64: RBIT I need them for supercharging clpz. Right now, I got: http://www.hackersdelight.org/ and…
repeat
  • 18,496
  • 4
  • 54
  • 166
2
votes
1 answer

Exiting SICStus - Command Line

Is there any other way of exiting SICStus on Command Line without having to press ^C plus e after (I can't always get to this "help menu" with ^C). The "real" question is if it exists a command like :exit or !quit, similar to other command line…
zediogoviana
  • 305
  • 3
  • 14
2
votes
1 answer

SICStus Prolog ignores changes

I am pretty new to prolog. Using SICStus, when I make a change to a file that has already been consulted, SICStus does not recognise the changes. Only way is for me to close the window and start it again. But obviously this is not practical as…
Enigma
  • 305
  • 2
  • 11
2
votes
0 answers

How can I connect C# and Sicstus prolog?

Possible Duplicate: Integrating Prolog with C# I am trying to connect prolog project with C#. How can i Do this?
Ashish Singh
  • 21
  • 1
2
votes
1 answer

SICStus Prolog: statistics/2 values affected by JIT

Update: As reported by @PerMildner, the below issue (present with SICStus Prolog 4.3.2) has vanished with the new SICStus Prolog 4.3.3! Way to go! I'm using SICStus Prolog 4.3.2 and I'm getting to know some of the statistics/2 keys that I haven't…
repeat
  • 18,496
  • 4
  • 54
  • 166
2
votes
2 answers

SICStus Prolog 4.3.2: clpfd got no power?

Some of my Prolog programs could profit quite a bit if I could replace all (is)/2-based integer arithmetics by their clpfd counterpart. So I want the power ... with clpfd ... so I can replace X is 10^3 with something clpfd-y :) Consider the…
repeat
  • 18,496
  • 4
  • 54
  • 166
2
votes
2 answers

SICStus Prolog 4: Passing integers from Prolog to C

Still learning the ropes of the SICStus Prolog 4 FFI to C, I'm having a specific question about the example predicate c1/2 in https://sicstus.sics.se/sicstus/docs/latest4/html/sicstus.html/Foreign-Code-Examples.html#Foreign-Code-Examples. ex.pl…
repeat
  • 18,496
  • 4
  • 54
  • 166
2
votes
0 answers

Trouble displaying constraint values - SICStus clpfd

I am trying to solve a problem for a class that consists of this: Fill the white cells on the each barrels side with different digits from 1 to 6. Digits cannot repeat in every horizontal and vertical directions. Each number on the barrels top…
RGeneral24
  • 31
  • 1
2
votes
0 answers

Use of maximize with time_out

Sicstus 4.3.0 has a new elegant feature to enumerate all solutions in an optimization problem, minimize(:Goal,?X,+Options). When testing out a new search heuristics it is often not possible to prove a global optimum due to large search space which…
MortenM
  • 522
  • 2
  • 12
2
votes
1 answer

Labeling with time_out difference between Sicstus 4.2.3 and 4.3.0

In Sicstus 4.2.3 it is possible to do like this: | ?- X in 0..2, labeling( [minimize(X), time_out(1000, Lr)],[X] ). X = 0, Lr = success ? yes | ?- If you do the same in Sicstus 4.3.0 you get: | ?- X in 0..2, labeling( [minimize(X), time_out(1000,…
MortenM
  • 522
  • 2
  • 12
2
votes
1 answer

Adding new facts to a file in Prolog

I have a problem in Prolog regarding adding new facts to the file 'relations.pl'. Every time I get facts I save them and I use tell('relations.pl'). listing(relation). told. The only problem is that I want to insert the new facts and avoid storing…
Alaa
  • 71
  • 5
2
votes
1 answer

How to avoid a meta argument warning in SICStus SPIDER?

This is probably related to a comp.lang.prolog-discussion. I'm getting several warnings like this using Eclipse with the SICStus SPIDER: The plain meta argument (Y) is passed as a closure argument (with 0 suppressed arguments) to the callee. Here…
Rune
  • 698
  • 1
  • 7
  • 22
2
votes
1 answer

prolog: how to tell with global_cardinality that a list has at least N element that equals M (M,N are integer)

For example: I have some variable: A,B,C,D, and a condition: in [A,B,C,D] list there must be at least twice the number 2. I can only use global_cardinality/2 combinatorial constraint.
lyra42
  • 365
  • 1
  • 3
  • 11
2
votes
1 answer

Prolog counting with restrictions

I don't know how can I achieve the following: I want to count the number of times a certain condition (whose values are unknown) is met. For instance, if I have the lists [A1,A2,A3] and [B1,B2,B3], how can I create a list [R1,R2,R3] where Ri is 1 if…
Edu
  • 2,354
  • 5
  • 32
  • 36
1 2 3
…
8 9