arity automata backend backends backquote backquotes backtracable basename benchmarking Bitbucket brackted cartesian Chebyshev checksum checksums Chocolatey codepoint codepoints coinduction coinductive coreutils coroutining Cyclomatic cyclomatic DCG descendent descendents discontiguous disjunction doclet doclets Downloader ePub executable executables functor functors Graphviz Halstead Homebrew homoiconic iff initialization initializations inlined inlining instantiable instantiation instantiations Intuitionistic JSON json kurtosis labelling Lexicographically lexicographically lgtunit linter localhost Logtalk lookup lookups macOS metaclass metaclasses Metagol multifile mutator mutex mutexes namespace namespaces natively normalizable parameterizable parameterization parameterizations polymorphism profiler profilers programmatically Prolog Prover prover pthreads Pygments Quintus redis repo repos reproducibility reStructuredText shorthand shorthands shrinker shrinkers skewness Smalltalk Sortable sortable Stroud stylesheet subclass subclasses sublist sublists superclass superclasses superset SWI Texinfo tokenization tokenizer tooltip tooltips Trealla unification unifications uninstantiation validator webpage Wget xUnit