Did you know ... | Search Documentation: |
Profile for user Geoffrey Churchill |
Sec. 7.3 | The following examples (from ["Tabling with Sound Answer Subsumption"](https://a ... |
findall/3 | Peter MOUEZA do you mean that you don't want the ellipses truncating the output? |
copy_term/4 | I think this implementation has the same behavior, but maybe the style/efficienc ... |
I think the default emacs prolog-mode issues have been resolved. |
Pack
tot: 4
| Version
(#older)
| Downloads
tot: 186
(#latest) | Rating
(#votes/
#comments) | Title |
---|---|---|---|---|
subsumes | 0.43 | 187 | Relational term subsumption. subsumes/2 is intended as a relational drop-in replacement for subsumes_term/2. Note that this conflicts with the deprecated predicate terms:subsumes/2. | |
scasp | 1.1.430 | 14410 | Goal directed ASP solver | |
perfunctory_types | 0.21 | 62 | Per-functor, static, polymorphic types | |
anti_unify | 0.54 | 1810 | Anti-unification. anti_unify/3 is intended as a relational drop-in replacement for term_subsumer/3. |