triska

7 ms·

61.
by triska 2y ago
As relevant as ever, arguably more relevant than ever as more programs are being written and need to be adapted, in more and more complex domains. Note what Naur means with Theory here. Quoting from the paper: "What will be consider
62.
A Card Game Using Scryer Prolog(github.com)
1 points by triska 2y ago|0 comments
63.
by triska 2y ago
Very interesting, especially the mentioned use of the logic programming language Prolog as a scripting language, explained starting at 22:12. Quoting from the talk: "What kind of a language would I use? Any guesses? ... I wanted to tr
64.
by triska 2y ago
David has since also made extensive progress with his category-theoretic approach, available in a new repository: https://github.com/Precisfice/DEDUCTION
65.
Dose Escalation Designs in Universal Context of Titration for Oncology(github.com)
1 points by triska 2y ago|0 comments
66.
Unveiling the Mechanisms of DAI: A Logic-Based Approach to Stablecoin Analysis(arxiv.org)
1 points by triska 2y ago|0 comments
67.
Scryer Prolog Solutions to Advent of Code 2024(github.com)
1 points by triska 2y ago|0 comments
68.
Embedded Scryer Prolog powering video game AI, slides from Scryer Meetup talk(github.com)
1 points by triska 2y ago|0 comments
69.
2025 Goals for Scryer Prolog(github.com)
2 points by triska 2y ago|0 comments
70.
Enhancing Mathematical Reasoning in LLMs with Background Operators(arxiv.org)
1 points by triska 2y ago|0 comments
71.
Native compilation of Prolog predicates: Scryer Prolog JIT compiler [video](youtube.com)
4 points by triska 2y ago|0 comments
72.
Constrained Traversal in Prolog(blog.monotonic.tech)
3 points by triska 2y ago|0 comments
73.
AWS IAM simulator: Prolog module that stores IAM policies and actions(github.com)
2 points by triska 2y ago|0 comments
74.
Prolog DCG to match string patterns(github.com)
1 points by triska 2y ago|0 comments
75.
Scryer Prolog: The fourth iteration of rebis-dev is out(github.com)
7 points by triska 2y ago|0 comments
76.
Developing a Go bot embedding Ichiban Prolog(rogersm.net)
69 points by triska 2y ago|6 comments
77.
What is the role of Prolog in AI in 2024?(old.reddit.com)
2 points by triska 2y ago|1 comments
78.
From a Python function to a relation (a short personal essay)(github.com)
1 points by triska 2y ago|0 comments
79.
Linguistic "Power" of Definite Clause Grammars?(github.com)
2 points by triska 2y ago|0 comments
80.
Some novel features of Scryer Shen(github.com)
3 points by triska 2y ago|0 comments
81.
Reliable Reasoning Beyond Natural Language(arxiv.org)
1 points by triska 2y ago|0 comments
82.
by triska 2y ago
> CLP(Z), which does not have an ISO standard CLP(FD/Z) is a candidate for inclusion in the Prolog standard: Several Prolog systems provide it with notable commonalities in features, it fits perfectly into the existing language, and
83.
by triska 2y ago
> the links you provided describe these applications without references to warranties and standards and regulation. This is not true. For example, quoting from page 2 of the paper that is linked to in a discussion I posted, An Executabl
84.
by triska 2y ago
A key performance attraction of Scryer Prolog is its space efficiency for representing lists of characters, yielding a 24 times (!) more compact representation than a naive implementation would. With Scryer Prolog and other recent syste
85.
Analysing protection systems for giant particle accelerators(github.com)
1 points by triska 2y ago|0 comments
86.
Prolog language for PostgreSQL proof of concept(github.com)
214 points by triska 3y ago|77 comments
87.
by triska 3y ago
Codd's seminal paper, A Relational Model of Data for Large Shared Data Banks , states that a language based on applied predicate calculus "would provide a yard-stick of linguistic power for all other proposed data languages&quo
88.
by triska 3y ago
Regarding relational algebra in particular: It is interesting that important and frequently needed relations on graphs cannot be expressed in relational algebra . The transitive closure of a relation is a well-known example, and as you
89.
A Mathematical Modeling Library in Prolog with Answer Constraint Semantics(arxiv.org)
2 points by triska 3y ago|0 comments
90.
Teletext: ANSI Escape Sequences in Scryer Prolog(github.com)
1 points by triska 3y ago|0 comments

More ›