Picat

Hi, this is strange. If I add println(A) before scc_grid for 1,5,5, I get {0,_013a9e0::[0 ..1],

This is incredibly helpful! I see how you added the required vertex of 0 into the Vs list. I had

Hi Hakan, The syntax extensions will be available in the next major version, 4.0, together with a

Neng Fa, I want to mention, that since a year or so I'm using VS Code with Copilot running and

I should have mentioned a nice feature of Picat used in the solution for Problem-5: solve_all([$limit

Advent of Code 2016 day 22. It's a modified version of the 15 slider puzzle. On the Reddit

For this problem you don't need to use bv constraints, as the maximum integer allowed fits into a

Our second physics paper (preprint) is now available at arXiv: SV Chekanov (, H. Kjellerstrand:

I have always been terrible at number theory, but I think there's something about the way the

% X #= prod([cond(T #= 0, 1,T) : I in 1..Len, T #= A[I]**K]), X #= prod([max(1,T) : I in 1..Len, T #=

A resurgence of interest in logic programming for AI and optimization is underway, with languages

Here are some examples of how to use the bv module: * Section "4 Day 17: Chronospatial Computer

All the predicates in the planner module, except best_plan_nondet, are deterministic, and cannot

Today our paper “Discovering the underlying analytic structure within Standard Model constants using

It looks like parts of some error messages are printed to stdout. I think they should all go to

gcc --version Apple clang version 17.0.0 (clang-1700.0.13.3) Target: arm64-apple-darwin24.4.0 Thread

Hi Josef. I'm not sure I understand what you want to do here. The Coords you are forcing to be

Thank you for the response and the extremely helpful information! I've been studying the examples

Picat took pattern-matching rules from B-Prolog. Horn clauses can be translated to pattern-matching

Original code of the planner module can be found on the official site on the Modules page(here).

Dear Sir, I know import for modules and cl, but import must be placed separately in the header and cl

I think in the options for sat (section 12.6.3), dump(File) should actually be $dump(File). best

Thanks for the link and the make file! I tried the tricks proposed in the above Stackexchange post,

Thank you to everyone who has responded to the Picat Usability Feedback questionnaire! So far, we

There are no official coding style guidelines for Picat. However, I typically follow these spacing

Thanks for the fix, Neng-Fa. I can confirm that this works now. Also, I did my usual benchmark tests,

I had time to redo the Day 16 problem. My original solution is too slow, and it needs hours to

Thanks Neng-Fa As soon as I will be rewriting the whole code without a copy of Grid. I was copying

Good news: picat-lang.org has an SSL now, and viewers will not receive annoying warnings about

Hi, it seems Map.del() does not work in trace mode: Picat> X=new_map(),X.put(a),X.put(b),X.del(a)