triska

12 ms·

121.
by triska 3y ago
Also, the statement is itself wrong already at face value in many situations, for example if someone has a credit card or runs an online shop and is contractually required to hide something. For instance, quoting from https://u
122.
by triska 3y ago
I think a meta-circular interpreter for Prolog would fit this description nicely. Prolog excels at writing interpreters in general, and in particular admits exceptionally short meta-circular meta-interpreters , i.e., interpreters written i
123.
Speculations about Transformers and Compositionality(dstrohmaier.com)
3 points by triska 3y ago|1 comments
124.
Prolog Programming for the Java Platform(github.com)
2 points by triska 4y ago|0 comments
125.
Web development with Tau Prolog [pdf](biblioteca.sistedes.es)
3 points by triska 4y ago|0 comments
126.
Raylib bindings to Scryer Prolog using library(FFI)(github.com)
2 points by triska 4y ago|0 comments
127.
Trealla Prolog Templates for Spin(github.com)
2 points by triska 4y ago|0 comments
128.
Best Free Prolog Courses to Take in 2023(classcentral.com)
2 points by triska 4y ago|0 comments
129.
by triska 4y ago
append/3 is a so-called extension of the standard: 3.70 extension: A facility provided by the processor that is not specified in this part of ISO/IEC 13211 but that would not cause any ambiguity or contradiction if
130.
by triska 4y ago
There was a recent thread Prolog at work with many interesting links and posts: https://news.ycombinator.com/item?id=34164221
131.
by triska 4y ago
Scryer Prolog was most recently discussed here in October 2021: https://news.ycombinator.com/item?id=28966133 Since then, a great number of improvements have become available, among them: The system is now much faster, than
132.
A Prolog assisted search for new simple Lie algebras(arxiv.org)
8 points by triska 4y ago|2 comments
133.
An online IDE for visual programming in Prolog(github.com)
167 points by triska 4y ago|18 comments
134.
An online IDE for visual programming in Prolog(github.com)
4 points by triska 4y ago|0 comments
135.
Djota: A Djot Implementation in Prolog(github.com)
8 points by triska 4y ago|2 comments
136.
by triska 4y ago
Very nice! This solution uses the library predicate list_to_set/2, relating a (known) list Ls0 of elements to a list Ls without duplicates , where the elements occur in the same order in which they first appear in Ls0. I think it is i
137.
by triska 4y ago
As of version 7, SWI-Prolog is consciously no longer conforming to the Prolog ISO standard in critical aspects, so it is not usable in organizations where standards are of great importance for procurement, warranty and interoperability reas
138.
by triska 4y ago
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 intro
139.
by triska 4y ago
In your second example, I get an exception (it does not "explode"), and this is also not a "bug". In your second example, the default search strategy is unable to derive whether above(a,c) is a logical consequence of
140.
by triska 4y ago
A recent article from the Austrian Federal Computing Centre, using Prolog to analyze eligibility criteria for grants : https://www.brz.gv.at/en/BRZ-Tech-Blog/Tech-Blog-7-Symbolic-... In this way, several interest
141.
by triska 4y ago
Quoting from the article: " Take, for instance, a loop ... " Personally, I write most programs in a logic programming language that has no loops . I wonder whether the engaged brain areas also depend on the programming language.
142.
Prolog at Work(old.reddit.com)
163 points by triska 4y ago|104 comments
143.
by triska 4y ago
A classic reference: The British Nationality Act as a Logic Program : https://www.doc.ic.ac.uk/~rak/papers/British%20Nationality%2... Parts of the constitution of Japan in Prolog: https://github.com&#x
144.
by triska 4y ago
Regarding the negative impact of Postel's suggestion, see also The Harmful Consequences of Postel's Maxim : https://datatracker.ietf.org/doc/html/draft-thomson-postel-w... In Section 4, they define an a
145.
Symbolic Analysis of Grants(brz.gv.at)
1 points by triska 4y ago|0 comments
146.
by triska 4y ago
Very interesting! Regarding the sentence: "The first instruction clears the direction flag." , I noticed that cld is the second instruction in the listing, I suppose that is a small mistake in the article?
147.
by triska 4y ago
PostScript is such a beautiful language! I used to study the PostScript reference manual for hours at a time, in awe of its elegance and perfection: https://www.adobe.com/jp/print/postscript/pdfs/PLRM.pdf
148.
by triska 4y ago
> What we want is a well-behaved, predicable mix of programming and those relational operations. We have to end this SQL madness. These are great goals! Thank you a lot for working on them, and for taking the time to participate here! &g
149.
by triska 4y ago
> Consider Soufflé, designed for large scale program analysis. Or LogiQL, designed for efficient incremental evaluation. I have now looked up these systems: They are far removed from standard Prolog syntax, much farther than the system
150.
by triska 4y ago
The code snippets shown on the page are almost valid Prolog syntax. The only issues that prevent them from being actual Prolog syntax are, as far as I can tell, very minor syntactic issues. For example, != cannot be defined as an infix op

More ›