| Did you know ... | Search Documentation: |
 | Profile for user Geoffrey Churchill |
- HOME
- DOWNLOAD
- DOCUMENTATION
- TUTORIALS
- Beginner▶
- Advanced▶
- Web applications▶
- Semantic web▶
- Graphics▶
- Machine learning▶
- External collections▶
- For packagers▶
- COMMUNITY
- COMMERCIAL
- WIKI
Comments by 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. |
Packages by Geoffrey Churchill
| Pack
tot: 4
| Version
(#older)
| Downloads
tot: 189
(#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 | 14612 | Goal directed ASP solver | |
| perfunctory_types | 0.21 | 73 | 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. |
This list contains packages whose author name, e-mail or homepage url matches the profile information.