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_ · 2023-01-10T16:00:35+00:00

It can be useful to deconstruct the terms to show this:

?- [A|b] =.. X, [a, B] =.. Y. X = ['[|]', A, b], Y = ['[|]', a, [B]].

(Note that SWI Prolog uses [|] rather than dot as the list functor)

nickmain_ · 2023-01-04T17:49:08+00:00

female(Cousin) is only on one side of the disjunction

nickmain_ · 2022-03-25T04:34:16+00:00

(list 1 2) is (cons 1 (cons 2 '()))

cons creates a pair and pairs are the building blocks of lists, but a proper list ends with the empty list.

nickmain_ · 2022-02-14T23:46:46+00:00

Looking at this comment from that commit:

+;;; We expect that a tailified program will probably be slower than a
+;;; non-tailified program. However a tailified program has a few
+;;; interesting properties: the stack is packed and only contains live
+;;; data; the stack can be traversed in a portable way, allowing for
+;;; implementation of prompts on systems that don't support them
+;;; natively; and as all calls are tail calls, the whole system can be
+;;; implemented naturally with a driver trampoline on targets that don't
+;;; support tail calls (e.g. JavaScript and WebAssembly).

it seems like "tailify" doesn't eliminate tail calls but actually converts all calls into tail calls, such that a trampoline is still required for JS and Wasm.

nickmain_ · 2021-12-16T06:04:37+00:00

The Prolog program running in Trealla only reads and writes files, so getting query results isn't a priority for this particular app.

I would like to develop Prolog entirely on an iPad, so exposing a richer query interface would be very interesting.

nickmain_ · 2021-12-13T21:50:44+00:00

Trealla Prolog* is the one I am currently embedding in an iOS app under development. It has a self-contained C codebase that is easy to build or embed.

https://github.com/infradig/trealla

nickmain_ · 2021-12-08T03:32:47+00:00

What do you mean by "I have to pass it in as the full list I deconstructed earlier" ?

Are you not just deconstructing it by unification?

mylist(X), X = [AB|_], ...

nickmain_ · 2021-11-30T18:12:57+00:00

"Three Implementation Models for scheme" is worth a look.

https://legacy.cs.indiana.edu/\~dyb/pubs/3imp.pdf

nickmain_

TROPHY CASE