Top scryer-prolog issues

Incomplete reduction for `auc` library

XVilka picture XVilka·27 Mar 2020·3 Comments

Adding external database to Scryer-prolog

jukowski picture jukowski·5 Mar 2020·8 Comments
👍2

library(dcgs): missing ('|')//2

UWN picture UWN·21 Feb 2020·5 Comments

"?- X = Y." gives the answer "true."

stefan-kral picture stefan-kral·6 Dec 2019·6 Comments
👍1

Feature suggestion: Make WAM instructions inspectable

triska picture triska·9 Sep 2019·5 Comments
👍1

use_module(filename) raises error

panasenco picture panasenco·17 May 2019·8 Comments
👍4

Compiling with readline does not work on OSX

triska picture triska·6 Apr 2019·10 Comments

atom_chars/2 loops

UWN picture UWN·6 Apr 2019·3 Comments
🎉1 👍1

Support probabilistic reasoning

XVilka picture XVilka·29 Mar 2019·3 Comments
👍4 👎2

keysort/2 wrong type errors

UWN picture UWN·3 May 2018·7 Comments
 Previous issues
Next issues