Jekejeke Prolog 1.4.6 (Search Options)
Jan Burse, created Oct 26. 2020
We just uploaded a new release of Jekejeke Prolog. The following major improvements are provided:
- Module "path":
Search options file_type/1 and search_path/1 have been added to the predicate absolute_file_name/2. The same search options are now also available for then predicate open/4. The Prolog text loader has seen a little speed-up.
- Module "term":
The Jekejeke Minlog extension become more compatible with SWI-Prolog. The predicate unifiable/3 has been introduced. And a new experimental dif_with_occurs_check/2 has been provided.
- Module "clpb":
The Jekejeke Minlog extension become more compatible with SWI-Prolog. Boolean expression now feature */1 and +/1 to express n-ary conjunction and disjunction. Further a predicate sat_count/2 has been introduced as well.
Happy coding! #StaySafe