| Did you know ... | Search Documentation: |
 | Profile for user Douglas Miles |
- HOME
- DOWNLOAD
- DOCUMENTATION
- TUTORIALS
- Beginner▶
- Advanced▶
- Web applications▶
- Semantic web▶
- Graphics▶
- Machine learning▶
- External collections▶
- For packagers▶
- COMMUNITY
- COMMERCIAL
- WIKI
end_of_file.
Comments here
Comments by Douglas Miles
| current_prolog_flag/2 | `toplevel_residue_vars` is missing When this is set true it will print any varia ... |
| *->/2 | I find it useful for debugging my code .. I put `must/1` around any code that I ... |
| prolog_load_context/2 | Is prolog_load_context(reload, true) changing prolog_load_context(reloading, tru ... |
| current_stream/3 | One awesome feature of this predicate is.. If user_error is somehow redirected. |
| nb_linkval/2 | ~~~~ ?- set_prolog_flag(toplevel_print_factorized, true), set_prolog_flag(tople ... |
| stream_property/2 | Note stream_property(-,?) is thread_local. ~~~~ ?- stream_property(X,alias(A)). X = <stream>(0x7fef00022940), A = user_input ; X = <stream>(0x7fef1746c750), A = current_error ; X = <stream>(0x7fef00022ab0), A = user_output. ~~~~ |
| phrase_from_stream/2 | current_input(In), phrase_from_stream(Grammar,In). |
Packages by Douglas Miles
| Pack
tot: 47
| Version
(#older)
| Downloads
tot: 2,113
(#latest) | Rating
(#votes/
#comments) | Title |
|---|---|---|---|---|
| xlisting_web | 1.1.1186 | 1913 | Manipulate and browse prolog runtime over www | |
| xlisting | 1.2.11115 | 312 | Selective Interactive Non-Deterministic Tracing | |
| with_thread_local | 1.2.1115 | 156 | Call a Goal with local assertions | |
| with_open_options | 1.2.116 | 2316 | Utilities to open various objects for read/write | |
| wam_common_lisp | 2.0.340 | 10930 | ANSI Common Lisp implemented in Prolog | |
| tabling_dra | 1.0.45 | 72 | SWI-Prolog interface to Table-handling procedures for the "dra" interpreter. Written by Feliks Kluzniak at UTD (March 2009) | |
| swicli | 2.0.012 | 908 | SWI-Prolog interface to C/C++/.NET/Mono/Objective-C | |
| subclause_expansion | 1.1.1185 | 111 | More detailed versions of term/goal expansion hooks | |
| small_adventure_games | 1.1.8 | 1 | Small Adventure Games in Prolog using the CHAT80 Prolog natural language application | |
| slack_prolog | 2.0.33 | 267 | Prolog interface to Slack http://www.slack.com | |
| s_expression | 1.2.1119 | 3626 | Utilities for Handling of S-Expression Lisp/Scheme-Like forms and parsing of KIF, GDL, PDDL, CLIF | |
| rtrace | 0.0.7 | 1 | Selective Interactive Non-Deterministic Tracing | |
| prologmud_samples | 2.0.338 | 812 | Online text adventure game - Sample | |
| prologmud_I7 | 1.2.11112 | 333 | PrologMUD I7 (NomicMU!) with small Adventure Games in Prolog using the CHAT80 Prolog natural language application | |
| prologmud | 2.0.330 | 702 | Online text adventure game - MUD Server | |
| programk | 2.0.31 | 96 | AIML 2.0 - Because an AIML Interpreter/Chatbot needed to exist in Prolog to! | |
| predicate_streams | 3.0.323 | 19971 | Implement your own Abstract Predicate Streams | |
| planner_api | 1.1.1184 | 91 | planner_api -- A SWI-Prolog Pack that lets Prolog code seamlessly use planners speaking PDDLish and OCLh | |
| pfc | 3.0.359 | 1751 | Pfc -- a package for forward chaining in Prolog | |
| no_repeats | 1.1.1187 | 2213 | New ways to avoid duplicate solutions | |
| narsese | 2.0.31 | 42 | Narsese: Like OpenNARS in Prolog | |
| must_trace | 1.1.11826 | 461 | Trace with your eyeballs instead of your fingers | |
| multimodal_dcg | 2.0.38 | 3812 | Reduce floundering of DCGs by constraining and narrowing search | |
| lps_corner | 2.0.33 | 2313 | LPS Corner with SWISH and Dialect | |
| loop_check | 1.1.11810 | 132 | New simple loop checking | |
| logicmoo_workspace | 2.0.32 | 31 | LogicMOO Workspace -- The pack that installs the Logicmoo IDE and WebUI | |
| logicmoo_webui | 2.0.39 | 251 | LogicMOO - The pack that installs the WebUI | |
| logicmoo_utils | 3.1.558 | 16013 | Common predicates that are used throughout LogicMOO Software | |
| logicmoo_planners | 1.1.1182 | 84 | Various Hybrid HTN Planners speaking PDDLish and OCLh | |
| logicmoo_nlu | 2.0.326 | 891 | Various English to Logic Converters - warning: HUGE amount of lexical and test data | |
| logicmoo_nars | 2.0.31 | 123 | Narsese: Like OpenNARS in Prolog | |
| logicmoo_ec | 2.0.35 | 81 | Logicmoo Event Calc -- A SWI-Prolog Pack that lets Prolog code seamlessly use planners speaking: LPS, Decreasoner EventCalc, PDDLish and OCLh | |
| logicmoo_cg | 2.0.36 | 226 | Conceptual Graph (CG) Libraries in Prolog and test data | |
| logicmoo_base | 2.0.348 | 903 | LogicMOO - Extends Prolog Programming to support Dynamic Epistemic Logic (DEL) with Constraints | |
| lib_atts | 1.1.1183 | 201 | Common atts.pl interface like https://sicstus.sics.se/sicstus/docs/4.0.0/html/sicstus/lib_002datts.html | |
| instant_prolog_docs | 2.0.3114 | 391 | Magically document prolog source files based on predicate and variable naming conventions | |
| hook_hybrid | 1.1.11812 | 153 | Hook assert retract call of *specific* predicates | |
| hilog | 1.1.1181 | 1816 | XSB-Prolog's Hilog Syntax in SWI-Prolog | |
| gvar_syntax | 2.0.318 | 12468 | Global Variable Syntax | |
| flux | 1.1.118 | 43 | FLUX: A logic programming method for reasoning agents and ALPprologis a Prolog implementation of an action programming language. With ALPprolog you can program strategies for autonomous agents in dynamic domains like e.g. the Wumpus world. | |
| file_scope | 1.1.1185 | 191 | File local scoped efects | |
| eggdrop | 2.0.321 | 431 | Hook up to an existing IRC Client called an Eggdrop | |
| each_call_cleanup | 1.1.11810 | 271 | Each Call Redo Setup and Cleanup | |
| dictoo | 3.1.329 | 20044 | Dict-like OO Syntax | |
| clause_attvars | 1.1.1187 | 221 | An alternate interface to the clause database to allow attributed variables to be asserted | |
| call_cleaup_each | 0.0.1 | 1 | Call A Goal On Each Redo | |
| body_reordering | 2.0.36 | 3418 | Clause expansion Utils for deciding which order to run Goals in a body |
This list contains packages whose author name, e-mail or homepage url matches the profile information.