Indexing dif/2 · HackerPapers discussions

Indexing dif/2 — mentioned by triska

Sat, 31 Dec 2022 10:22:55 GMT

These are valid concerns, arising mostly from inadequate implementations and a lack of modern features in early (and also current) Prolog systems. In the past 20 years, many new language constructs and implementation improvements were introduced and have become widely available in newer Prolog systems to address precisely these problems among others. For example, inspired by pioneering systems such as XSB Prolog, modern Prolog systems such as Scryer Prolog support alternative execution strategies, internally implemented via delimited continuations as described by Desouter et al., and thus…

Paper and discussion history. A mention is not an endorsement.

Indexing dif/2 — mentioned by grose

Tue, 06 Sep 2022 14:51:07 GMT

That's super cool. I'm definitely not an expert on the subject but this paper about dif/2 intrigues me: https://arxiv.org/abs/1607.01590 And perhaps Ciao's paper could offer some hints? http://cliplab.org/papers/hermenegildo11:ciao-design-tplp.pd... You're probably already aware of it but Scryer Prolog seems like an interesting place to borrow ideas from. Both Scryer and Trealla have efficient string (list of characters) representations.

Paper and discussion history. A mention is not an endorsement.

Indexing dif/2 — mentioned by triska

Tue, 29 Oct 2019 19:50:44 GMT

In general, using any of the mentioned predicates (->)/2, (\+)/1 or !/0 in Prolog code destroys essential properties we expect from classical logic, and therefore complicates declarative reasoning about the code to such an extent that it can be said to prevent it entirely. For example, both versions of foo/2 that are shown above suffer from the same core deficiency: If some_condition/1 has multiple solutions, then they are cut away and not generated at all. Therefore, for the most general query, ?- foo(X, Y). only a single answer, or a proper subset of all answers one would expect when…

Paper and discussion history. A mention is not an endorsement.

Indexing dif/2 — HN submission

Tue, 22 May 2018 08:03:44 GMT

Pure efficient “if” in Prolog

2 points; 0 discussion replies on HN. Paper and source history. A submission is not an endorsement.

Indexing dif/2 — mentioned by zmonx

Mon, 29 May 2017 18:53:32 GMT

Have you been exposed to more recent research on Prolog language constructs? In particular, I recommend the following publication: https://arxiv.org/abs/1607.01590 if_/3 and other declarative predicates like dif/2 are more general alternatives and likely good solutions in the cases you mention. They are still quite recent, at least if we ignore the fact that dif/2 was even available in the very first Prolog system, sometimes called Prolog 0.

Paper and discussion history. A mention is not an endorsement.