1From Taxman to VATmiraal: Fifty Years of Teaching Machines the Law (opens in new tab)(vatmiraal.be)1triska9d ago1
5Forth VM and compiler written in C++ and Scryer Prolog (opens in new tab)(github.com)37triska1mo ago0
6A high-performance bridge between Scryer Prolog and Python (opens in new tab)(github.com)2triska1mo ago0
8A lightweight, embeddable Prolog interpreter written in C11 (opens in new tab)(github.com)4triska2mo ago0
11Flowlog: An ISO-style Prolog system with faster search on multicore CPUs (opens in new tab)(web.liminal.cafe)3triska4mo ago0
12A simple graph database implementation running on Scryer Prolog (opens in new tab)(github.com)2triska4mo ago0
13Dogalog: A realtime Prolog-based livecoding music environment (opens in new tab)(github.com)82triska4mo ago21
14Towards an Implementation-Independent Interface for Semantic Web in Prolog [pdf] (opens in new tab)(github.com)2triska5mo ago0
15Transforming legal texts into computational logic (opens in new tab)(sciencedirect.com)3triska6mo ago0
