José Antonio Riaza Valverde

icon indicating a website link http://jariaza.es icon indicating an email [email protected]

icon company University of Castilla-La Mancha icon location Spain icon location Lead maintainer for @tau-prolog. Ph.D in Computer Science. Researching on Logic Programming and Fuzzy Logic.

Results 55 comments of José Antonio Riaza Valverde

(^)/2 incorrect overflow

> BTW, is there some simple way/instruction to use Tau from a Linux-shell? I am not really accustomed with all these net-technologies. I just added the REPL script that we...

(^)/2 incorrect overflow

You need to install the `readline-sync` package. ```npm install -g readline-sync```

(^)/2 incorrect overflow

Ok, then just run `npm i` on the repo.

(^)/2 incorrect overflow

Mmm, try to install locally `readline-sync` with `npm install readline-sync`. If not, you have to update node to the latest version and run `npm i` again.

DCG doesn't produce the same result as difference list.

Hi. Are you using the latest version of Tau Prolog?