triska

36 ms·

331.
by triska 6y ago
RIP James Randi, and thank you! I often think about how brilliantly and carefully the setups were designed, thought through and explained. For example: Interviewer: “Which pipe was the water running through?” James Randi: “Well, I'm no
332.
by triska 6y ago
This is an extremely interesting new Prolog system, with strong commitment to the ISO standard, and one of the first systems that treats strings as lists of characters, which comes in extremely handy when reasoning about text. Congratulatio
333.
by triska 6y ago
As I see it, one noteworthy feature of these libraries is how readily they can be implemented in Prolog itself . For instance, library(format), library(http/http_open) and library(xpath) that are used in the example I posted are all w
334.
by triska 6y ago
Thank you very much for your interest! Prolog is ideally suited for web applications: HTML and XML documents are readily represented as Prolog terms and can be reasoned about very conveniently and efficiently. For instance, let's use
335.
by triska 6y ago
Very nicely done, thank you for sharing this! A CLP(FD/ℤ) solution such as this one has two parts: First, the relevant constraints are posted. Second, a search tries to find concrete solutions. In general, a search is necessary becau
336.
by triska 7y ago
Very nice, thank you for sharing this! To try it with GnuCOBOL, compile it with: $ cobc -F -x game-of-life.cob The "-F" switch instructs GnuCOBOL to use so-called free format of the source code, and "-x" buil
337.
by triska 7y ago
Yes, at least in some respects, HTML forms could have been that way, but in practice, they are not: For one thing, and this is important, with every browser I tried, I get periodically interrupted by messages that the browser displays and t
338.
by triska 7y ago
Sometimes I see it on terminals for instance when checking into a hotel, opening an account in a bank, booking a flight, interacting with the tax administration etc. One important point that makes them so efficient to use is that everything
339.
by triska 7y ago
COBOL can be a real pleasure to use. For instance, it allows programmers to quickly create user interfaces by declaratively describing them, in a so called SCREEN SECTION. The resulting interfaces are very efficient for text entry, and allo
340.
by triska 7y ago
One of the advantages of Prolog is that there is an ISO standard for it: The standard prescribes, in many ways, which syntax is acceptable, which errors must be generated in which cases, and which results must be produced. The standard ensu
341.
by triska 7y ago
Thank you a lot Mark for participating in this discussion, and for all your work on Scryer Prolog during the last few years! In the hope to attract further contributors to Scryer Prolog, especially with interest in Rust, I have now created
342.
by triska 7y ago
Thank you a lot, it is really encouraging to hear this! One of my goals with this specific form of presentation is to counteract "skimming" by making it unrewarding: When readers are tempted to "skim" a chapter, they usu
343.
by triska 7y ago
Thank you a lot, I would greatly appreciate this! There is significant interest in applying logical reasoning and logic programming in the context of legislation and application of laws, in fact especially in Austria, for several reasons bo
344.
by triska 7y ago
Thank you so much, and you are welcome! That's an awesome slogan! Some things are hard, yet have no pay-off or are even detrimental. On the other hand, things that pay off are often proportionally hard. It is not may goal to make it ha
345.
by triska 7y ago
Absolutely, I fully agree! In fact, I think precisely due to this elementary difference, it is reasonable to expect it to take longer for Prolog implementations to reach the practical applicability we are now seeing in neural networks after
346.
by triska 7y ago
Complementing this, neural nets shared the same fate in an AI winter, in fact in the AI winter preceding the one you mention, and yet they now attract significant attention. In large part because the hardware is better, and also because the
347.
by triska 7y ago
You are very welcome! I greatly enjoy all your postings about your Prolog-based interpreter for Joy: https://osdn.net/projects/joypy/scm/hg/Joypy/blobs/tip/thun/... I impulsively upvo
348.
by triska 7y ago
Thank you very much for your interest, I greatly appreciate it! I hope you are all doing reasonably well. Please take care! This book was most recently discussed here in May 2018: https://news.ycombinator.com/item?id=1712102
349.
by triska 7y ago
Suppose integer/1 does not raise such an error. So we have: ?- integer(X). false. Here, the system tells us: “There are no solutions whatsover .“, because this is what "false" means: No solutions whatsoever. But
350.
by triska 7y ago
Very interesting, thank you for sharing this! Knowing the history of Prolog can be very useful to make progress in this area, because quite often, progress in this area means returning to what earlier systems already did. For instance, alre
351.
by triska 7y ago
A key advantage of PostScript is that you can scale all output using transformations , so that you internally work with the same coordinate space (called user space ) on all devices, and implicitly scale — and also for example rotate —
352.
by triska 7y ago
How is PostScript a "worse Forth"? I find PostScript great fun to program in, and I think the type errors one gets from the system to indicate mistakes are a great help when writing PostScript code.
353.
by triska 7y ago
An interesting quote from the paper: “ There is a need to build bridges between disciplines that currently work separately, such as machine learning and deep learning [...] and symbolic approaches [...]. Combining symbolic reasoning with de
354.
On Artificial Intelligence – A European approach to excellence and trust [pdf](ec.europa.eu)
4 points by triska 7y ago|1 comments
355.
by triska 7y ago
Essentials of Control Techniques and Theory by John Billingsley is a book with many superb examples.
356.
by triska 7y ago
There is an interesting and important theorem from control theory that is relevant for this situation. In a paper from 1984, Leslie Lamport has called it Buridan's Principle and phrased it as follows: “ A discrete decision based upon
357.
by triska 7y ago
Logic, computation and optimization are closely related. This informal survey gives a glimpse of some of these connections, ranging from decision diagrams to cutting planes and constraint programming. The paper is very accessible and contai
358.
A Brief Tour of Logic and Optimization(arxiv.org)
2 points by triska 7y ago|1 comments
359.
by triska 7y ago
This project fuses the logic programming language Prolog with cryptocurrency technology. As the README notes, words such as "proving," "validation," "axioms" and "logic" fit both topics very well. Wal
360.
Prologcoin: Fusing Prolog with Cryptocurrency Technology(github.com)
3 points by triska 7y ago|1 comments

More ›