Did you know ... | Search Documentation: |
![]() | Profile for user Tomáš Maleček |
needs-updating | Sec. 1.3, Sec. A.21 |
Sec. A.21 | _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). |