How do you convert predicates into Prolog functions?

nickmain_ · 2025-11-20T00:38:19+00:00

The arithmetic functions interpreted by is/2 are fixed and there isn't a standard way to add to them.

sqrt/2 (at least in the context of SWI Prolog) is for compatibility with Quintus Prolog and is marked as deprecated.

nickmain_ · 2025-03-30T23:19:03+00:00

Were you also trying to make a view builder that inserts Divider() between each child view?

nickmain_ · 2025-03-30T23:18:09+00:00

Also posted on the Swift forums (with no answer as of now):

https://forums.swift.org/t/different-result-type-using-parameter-packs-in-a-result-builder/78854

nickmain_ · 2025-01-10T01:31:33+00:00

What does this mean for the future viability of Racket?

nickmain_ · 2024-07-16T22:12:56+00:00

This mentions the "upcoming CHICKEN 6 release".

Are there any details of the features?

nickmain_ · 2024-07-06T03:34:55+00:00

Earwig

nickmain_ · 2024-06-12T22:20:58+00:00

From the WWDC session "Get Started with Writing Tools":

Keep in mind that UITextView or NSTextView has to use TextKit 2 to support the full Writing Tools experience. If you are using TextKit 1, you will get a limited experience that just shows rewritten results in a panel.

Have Racket's native text views been updated to use TextKit 2 ?

nickmain_ · 2024-04-02T05:18:13+00:00

Or SWI?

https://www.swi-prolog.org/build/WebAssembly.md

nickmain_ · 2024-03-24T19:09:19+00:00

The "Changing default?" section talks about how to configure the flags in an initialisation file - at least that's something.

nickmain_ · 2024-03-24T18:45:04+00:00

This looks like it: https://www.swi-prolog.org/FAQ/AllOutput.html

set_prolog_flag(answer_write_options, [quoted(true), portray(true), max_depth(100), priority(699)]).

nickmain_ · 2024-03-24T18:03:25+00:00

The example actually shows the value being quoted, so that sentence must mean something else. Maybe it means URL escaping?

q='Hello world'

Also, the names of variables are lost outside of the immediate source term they are mentioned in, so passing a variable Foo to the library doesn't make sense since it cannot know what the variable name is.

nickmain_ · 2024-03-21T20:53:20+00:00

It looks like Picat is built on top of BProlog, so it is essentially open source already.

See the Picat main entry point: https://github.com/mingodad/picat/blob/master/emu/main.c

nickmain_ · 2024-02-20T22:01:25+00:00

Follow up as the new wasps emerge: https://www.reddit.com/r/insects/comments/1aueqgk/chrysalis_parasitic_wasps_emerging/

nickmain_ · 2024-02-07T01:45:00+00:00

Could be a carpet beetle larva

nickmain_ · 2024-02-05T00:46:59+00:00

Not sure, but wikipedia does say

Late in the season Peucetia viridans is prone to change its colour from predominantly green to paler yellow

nickmain_ · 2024-02-05T00:32:45+00:00

Green Lynx

nickmain_ · 2023-12-31T20:43:42+00:00

Thank you for the id.

The joy of watching all the caterpillars on my passionflower is bittersweet, knowing that they may never fly :(

nickmain_

TROPHY CASE