Paulo Moura

YAP multi-threading bugs results in deadlocked tests and failed unit tests.

Logtalk Prolog standards compliance suite results

2

Logtalk git version: 15c96ea2431f9ebc7f7f61bfcdb7a5e9a284c694 Tau Prolog git version: 95d011df87d7423ecd3523835ca15fb8df190a97 ```text $ logtalk_tester -p tau -g "set_logtalk_flag(clean,off)" -w % Batch testing started @ 2022-05-29 16:23:10 % Logtalk version: 3.56.0-b10 % Tau...

The Logtalk test set for the write_term/3 predicate is currently broken as Tau Prolog reports a syntax error when the `tests.lgt` file is read term-by-term by the Logtalk compiler. The...

With: ```text ?- read(T), open(tau_bug, write, S), writeq(S, T), nl(S), close(S). 'Jacinto Dávila'. T = 'Jacinto Dávila', S = (17). ``` we get: ```text $ cat tau_bug 'Jacinto Dávila ```...

Input stream line position and read term start and end lines

7

As a future enhancement, it would be quite useful if we could call the `stream_property/2` predicate to get the current line and if the `read_term/3` predicate could support an option...

CHR library

2

This following StackOverflow [answer](https://stackoverflow.com/questions/62097103/tau-prolog-wont-run-a-prolog-code-that-i-use-chr-library-in-although-it-works-o/62098326#62098326) mentions a JavaScript [implementation](https://github.com/fnogatz/CHR.js) of CHR. I have no experience with it but maybe it could be a good alternative to a Prolog implementation (which would...

goal_expansion/2 not being called

7

I'm trying to workaround the `format/2-3` predicates not accepting an atom in the first argument by using the `goal_expansion/2` predicate as follows: ```js var program = ":- use_module(library(format))." + "goal_expansion(format(A,L),format(Cs,L))...

Type error "evaluable": non-compliant exception

2

Several standard compliance tests fail due to non-compliant exception for "evaluable" type errors. For example: ```text ! lgt_acos_1_05: failure ! test goal throws the wrong error: ! expected error(type_error(evaluable,foo/0),A) !...

ISO multifle/1 directive and predicate semantics not supported

6

As requested, creating a dedicated issue to track progress.

Cannot use predicate_property/2 to query module predicate properties

2

With a loaded module, e.g. ```text ?- current_module(between). yes ``` is not possible to query the properties of predicates exported by the module: ```text ?- between:predicate_property(between(_,_,_), P). ERROR: Bad module...