Picat

Hi, nice that you did this. I tested it on my particularly unusual advent of code Picat source code

Here is my solution to the day-11 part-2 problem: https://github.com/nfzhou/aoc/blob/main/

Tabling makes solution of Advent of Code Day 11 easy! Peter

And now the paper has been accepted and published in the Particles journal: https://www.mdpi.com/2571

Hi, Cristian. Here's is a simple model showing two different approaches for getting the two

Hi Halkan: If you're using the 8-bit API, I presume you're also using the PCRE2_UTF flag? (

Thank you very much for your example, now my solution for fillomino (https://www.janko.at/Raetsel/

Hi, I've discovered a bug with integer exponentiation. When the base A is a bigint, A**0 is

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

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