Top New Best Ask Show Jobs

triska

4,160 karma · joined March 11, 2018

Homepage:

https://www.metalevel.at

You are welcome, and you are welcome!

submissions comments

Scryer Prolog v0.10.0 is out

github.com·7 pts·triska·

PProlog: A Prolog for Plan 9

prolog.pmikkelsen.com·18 pts·triska·

Take: Process file lines with a logic-based language

github.com·3 pts·triska·

Semantic Web Interface for Prolog

gitlab.com·3 pts·triska·

Dose-Escalation Trial Protocols That Extend Naturally to Admit Titration

arxiv.org·2 pts·triska·

Recreational programming: Tacit programming in Prolog

github.com·13 pts·triska·

A C embedding API for Scryer Prolog

github.com·2 pts·triska·

The Third Annual Scryer Prolog Meetup

github.com·2 pts·triska·

Pkg.pl: An experimental package manager for Scryer Prolog

github.com·13 pts·triska·

Comparison of Implementations of Dif/2

complang.tuwien.ac.at·2 pts·triska·

Add Prolog Query Subscription Support

github.com·1 pts·triska·

The Semantics of Testing. Also, Quads

github.com·3 pts·triska·

Scryer Prolog NPM package (experimental)

github.com·14 pts·triska·

Clojure Bindings for Scryer Prolog

github.com·1 pts·triska·

Pure regex implementation using rational trees and if_/3

github.com·2 pts·triska·

A Card Game Using Scryer Prolog

github.com·1 pts·triska·

Dose Escalation Designs in Universal Context of Titration for Oncology

github.com·1 pts·triska·

Unveiling the Mechanisms of DAI: A Logic-Based Approach to Stablecoin Analysis

arxiv.org·1 pts·triska·

Scryer Prolog Solutions to Advent of Code 2024

github.com·1 pts·triska·

Embedded Scryer Prolog powering video game AI, slides from Scryer Meetup talk

github.com·1 pts·triska·

2025 Goals for Scryer Prolog

github.com·2 pts·triska·

Enhancing Mathematical Reasoning in LLMs with Background Operators

arxiv.org·1 pts·triska·

Native compilation of Prolog predicates: Scryer Prolog JIT compiler [video]

youtube.com·4 pts·triska·

Constrained Traversal in Prolog

blog.monotonic.tech·3 pts·triska·

AWS IAM simulator: Prolog module that stores IAM policies and actions

github.com·2 pts·triska·

Prolog DCG to match string patterns

github.com·1 pts·triska·

Scryer Prolog: The fourth iteration of rebis-dev is out

github.com·7 pts·triska·

Developing a Go bot embedding Ichiban Prolog

rogersm.net·69 pts·triska·

What is the role of Prolog in AI in 2024?

old.reddit.com·2 pts·triska·

From a Python function to a relation (a short personal essay)

github.com·1 pts·triska·

← PreviousPage 2 of 6Next →