Did you know ... Search Documentation:
Profile for user Tomáš Maleček

Tags by Tomáš Maleček

needs-updatingSec. 1.3, Sec. A.17

Comments by Tomáš Maleček

Sec. A.17_The library library(nb_set) defines non-backtrackable sets, implemented as bina ...
Sec. 1.3_You need features not offered by SWI-Prolog_ -- Tabling is already supported by library(tabling): Tabled execution (SLG WAM).