| 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: 6
| Version
(#older)
| Downloads
tot: 330
(#latest) | Rating
(#votes/
#comments) | Title |
|---|---|---|---|---|
| subsumes | 0.43 | 2312 | 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.432 | 26754 | Goal directed ASP solver | |
| sb_assert | 0.31 | 32 | Stateful, backtrackable assertions | |
| perfunctory_types | 0.32 | 154 | Per-functor, static, polymorphic types | |
| eunify | 0.1 | 2 | Finite domain semantic unification | |
| anti_unify | 0.54 | 2012 | 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.