Did you know ... Search Documentation:
Profile for user Geoffrey Churchill

Comments by Geoffrey Churchill

Sec. 7.3The following examples (from ["Tabling with Sound Answer Subsumption"](https://a ...
findall/3Peter MOUEZA do you mean that you don't want the ellipses truncating the output?
copy_term/4I think this implementation has the same behavior, but maybe the style/efficienc ...
I think the default emacs prolog-mode issues have been resolved.

Packages by Geoffrey Churchill

Pack
tot: 4
Version
(#older)
Downloads
tot: 155
(#latest)
Rating
(#votes/
#comments)
Title
subsumes0.43143
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.
scasp1.1.42912326
Goal directed ASP solver
perfunctory_types0.14
Per-functor, static, polymorphic types
anti_unify0.54146
Anti-unification. anti_unify/3 is intended as a relational drop-in replacement for term_subsumer/3.
This list contains packages whose author name, e-mail or homepage url matches the profile information.