Markus Triska

The issue still persists: ?- sat_rewrite(X*Y + X*Z, Sat). Sat = X+Z.

Here is the full interaction, using the code I posted in https://github.com/trealla-prolog/trealla/issues/338#issuecomment-1747544829: $ ./tpl Trealla Prolog (c) Infradig 2020-2023, v2.29.2 ?- [user]. sat_rewrite(V, V) :- var(V), !. sat_rewrite(P0*Q0, P*Q) :-...

As far as I can tell, the issue persists: $ ./tpl Trealla Prolog (c) Infradig 2020-2023, v2.29.5 ?- [user]. sat_rewrite(V, V) :- var(V), !. sat_rewrite(P0*Q0, P*Q) :- sat_rewrite(P0, P), sat_rewrite(Q0,...

I get: ?- sat(X*Y + X*Z), labeling([X,Y,Z]). X = 1, Y = 1, Z = 0 ; X = 1, Y = 1, Z = 1 ; false. You can...

And please make it much more declarative, more general, and more suitable for teaching by: - removing side effects - reducing the number of `!/0` - using constraints instead of...

In my opinion, at least for `*.txt` files, almost *any* concrete (and fixed) default charset that can represent a reasonable set of languages is better than nothing. If there were,...

I think `http:charset/3` as you show it in your last bullet point would be a good solution. The other approaches you mention (in particular a tight coupling between content types...

Thank you! The description of `file_content_type/[2,3]` is unclear to me: In particular, the following sequence seems not to capture what is actually implemented: 1. Determine the media type using file_mime_type/2...

Thank you, it works! At least the `charset` parameter that is mentioned in the following TBD seems now fully implemented: https://github.com/SWI-Prolog/packages-http/blob/master/mimetype.pl#L49 If applicable, please consider removing the TBD or citing...

Apparently it works if I use: $ rustup default nightly and *then* use `cargo run`. Is this truly a requirement, or can it be made to work with `stable` too?...