triska

18 ms·

151.
by triska 4y ago
Yes, the subset of Prolog that is called Datalog can be interpreted in such a way that termination is guaranteed, and that is a nice and valuable property of this specific subset, i.e., the functor-free subset, of Prolog. This is a good e
152.
by triska 4y ago
Yes well, as you mention, that is only the default execution strategy, and nothing prevents us from using other execution strategies for either language. In fact, the main advantage of using a declarative language such as Prolog or Data
153.
by triska 4y ago
This seems already almost valid Prolog syntax, which is also a syntactic superset of Datalog. The main question I have for implementors of Datalog and Prolog variants like this: If you are that close to using Prolog syntax, why not go a
154.
by triska 4y ago
The "new-fangled" AI, as the article calls it, is often useful when the stakes are low, and you can accept mistakes in outcomes. Examples of such applications are: trying to determine which of your friends occur in a photo, which
155.
Scryer Prolog IRC-Channel(old.reddit.com)
2 points by triska 4y ago|0 comments
156.
Scryer Prolog 0.9.1: Greatly improved metacall performance(github.com)
1 points by triska 4y ago|0 comments
157.
Marquete: Markdown for Prolog(github.com)
5 points by triska 4y ago|0 comments
158.
Parsing AsciiDoc in Prolog(github.com)
2 points by triska 4y ago|0 comments
159.
Useful Lesser-Used Languages?(old.reddit.com)
2 points by triska 4y ago|0 comments
160.
by triska 4y ago
It appears this may be incorrectly marked as a dupe: An issue of Byte Magazine about declarative languages (Volume 10 Number 08) was recently discussed here: https://news.ycombinator.com/item?id=32828569 However, the presen
161.
Trealla Prolog for the Web(github.com)
1 points by triska 4y ago|0 comments
162.
How does control flow happen in declarative programming languages?(old.reddit.com)
2 points by triska 4y ago|0 comments
163.
Music Notation Grammar(github.com)
1 points by triska 4y ago|1 comments
164.
by triska 4y ago
I also highly recommend this book! Regarding the sentence "One that he doesn’t discuss much but that is particularly pertinent to today, is the accretion of laws and regulations." which appears in the review: I think all these l
165.
PHP: Prolog Home Page(github.com)
3 points by triska 4y ago|0 comments
166.
A category flavored combinatory logic prover with Definite Clause Grammars(twitter.com)
3 points by triska 4y ago|0 comments
167.
by triska 4y ago
These use cases become especially interesting now with several recent Prolog systems such as Scryer, Tau, Trealla and ichiban/prolog: All these systems set the Prolog flag double_quotes to chars already by default, and this means that
168.
by triska 4y ago
The Boolean circuit example on page 148 is interesting: In modern Prolog systems that provide this functionality, we can model such circuits very elegantly with CLP(B), Constraint Logic Programming over Boolean variables. For example, with
169.
by triska 4y ago
Quoting from the accompanying repository https://github.com/IAIK/AEPIC : "AEPIC Leak is the first architectural CPU bug that leaks stale data from the microarchitecture without using a side channel. It architectu
170.
ÆPIC Leak: Architecturally leaking uninitialized data from the microarchitecture [pdf](aepicleak.com)
118 points by triska 4y ago|17 comments
171.
by triska 4y ago
Regarding SQL, we find for example in the Oracle SQL documentation https://docs.oracle.com/database/121/SQLRF/intro002.htm#SQLR... : "Oracle strives to comply with industry-accepted standards and partici
172.
by triska 4y ago
Adherence to standards matters a lot for example in several kinds of governmental organizations, banks, the medical industry etc. If you want to use a Prolog system in safety-critical areas, it is best, and often in fact required by interna
173.
by triska 4y ago
Apart from different implementation languages and techniques (Rust/JavaScript/C, WAM/AST interpretation etc.), one of the most striking and impactful differences is that Scryer, Tau and Trealla Prolog aspire towards ISO confo
174.
by triska 4y ago
Yes, that's correct! Interestingly, Erlang does encode lists of codes efficiently internally! The advantage of chars is that in this way, we obtain much more readable answers to queries! The very first Prolog system, Prolog 0, alread
175.
by triska 4y ago
Trealla is one of the most interesting new Prolog systems: Notably, as in other new systems such as Scryer and Tau Prolog and ichiban/prolog, the default setting of the Prolog flag double_quotes is chars , and therefore lists of chara
176.
by triska 4y ago
Trealla Prolog is one of the most interesting new Prolog systems: In particular, it is the first Prolog system that uses mmap(2) to map files to memory for direct processing of file contents with Prolog's built-in grammar mechanism,
177.
Trealla Prolog embedded in Go using WASM(github.com)
89 points by triska 4y ago|12 comments
178.
by triska 4y ago
The impression I get from this schedule is that this is a collection of quite ad hoc topics that are in some cases quite far removed from what I expected to see covered in a course that is intended to introduce computing principles . For
179.
A Prolog assisted search for new simple Lie algebras(arxiv.org)
8 points by triska 4y ago|0 comments
180.
by triska 4y ago
As I see it, the fact that this (legitimate!) question even arises is saying a lot about SQL syntax: Can we syntactically write a SELECT query that also does an UPDATE/INSERT/DELETE? It may be possible, or it may be not possible

More ›