Narsese on Prolog (NP)

This is a SWI-Prolog pack that runs Narsese like OpenNARS

OpenNARS for Prolog is a completely new platform and not branched from the existing OpenNARS codebase. The Narsese in Prolog (NP) system takes the logic and conceptual ideas of OpenNARS, and will be doing event handling and procedural learning much like ANSNA.

Installation

Using SWI-Prolog 7.1 or later:

?- pack_install('https://github.com/TeamSPoon/narsese.git').

Source code available and pull requests accepted at http://github.com/TeamSPoon/narsese

?- use_module(library(narsese)).
true.

Some TODOs

Document this pack!

Write tests

Untangle the 'pack' install deps (Moving predicates over here from logicmoo_base)

Not obligated to maintain a git fork just to contribute

Dislike having tons of forks that are several commits behind the main git repo?

Be old school - Please ask to be added to TeamSPoon and Contribute directly !

Still, we wont stop you from doing it the Fork+PullRequest method

[BSD 2-Clause License](LICENSE)

Copyright (c) 2020, TeamSPoon and Douglas Miles <logicmoo@gmail.com> All rights reserved.

Prolog files

examples/prolog/example1.plShow source
examples/prolog/example2.plShow source
pack.plShow source
prolog/aq1/aq1.plShow source
prolog/aq1/aq1_1.plShow source
prolog/aq1/aq1_2.plShow source
prolog/arch1/arch1.plShow source
prolog/arch1/arch1_1.plShow source
prolog/arch2/arch2.plShow source
prolog/arch2/arch2_1.plShow source
prolog/attdsc/attdsc.plShow source
prolog/attdsc/attdsc_1.plShow source
prolog/cobweb/cobweb.plShow source
prolog/cobweb/cobweb_1.plShow source
prolog/cobweb/cobweb_2.plShow source
prolog/cobweb/cobweb_3.plShow source
prolog/cobweb/cobweb_4.plShow source
prolog/consult/consultant.plShow source
prolog/dctg/dctg.plShow source
prolog/dctg/dctg1.plShow source
prolog/dctg/dctgtest.plShow source
prolog/discr/discr.plShow source
prolog/discr/discr_1.plShow source
prolog/discr/discr_2.plShow source
prolog/ebg/ebg.plShow source
prolog/ebg/ebg_1.plShow source
prolog/ebg/ebg_2.plShow source
prolog/eden/plog/bugs/awm_to_objects.plShow source
prolog/eden/plog/bugs/control.plShow source
prolog/eden/plog/bugs/exec_bug.plShow source
prolog/eden/plog/bugs/gb.plShow source
prolog/eden/plog/bugs/gb_lex.plShow source
prolog/eden/plog/bugs/lists.plShow source
prolog/eden/plog/bugs/manual_bug.plShow source
prolog/eden/plog/bugs/output.plShow source
prolog/eden/plog/bugs/planning_bug.plShow source
prolog/eden/plog/bugs/reincarnating_bug.plShow source
prolog/eden/plog/bugs/search_bug.plShow source
prolog/eden/plog/bugs/talk_bug.plShow source
prolog/eden/plog/bugs/useful.plShow source
prolog/eden/plog/bugs/very_simple_bug.plShow source
prolog/eden/plog/bugs/warplan.plShow source
prolog/eden/plog/chars_to_items.plShow source
prolog/eden/plog/eden.plShow source
prolog/eden/plog/eden_core.plShow source
prolog/eden/plog/exec.plShow source
prolog/eden/plog/vec.plShow source
prolog/eden2/awm.plShow source
prolog/eden2/awm1.plShow source
prolog/eden2/awm_path.plShow source
prolog/eden2/awm_to_objects.plShow source
prolog/eden2/budget.plShow source
prolog/eden2/bug.plShow source
prolog/eden2/chars_to_items.plShow source
prolog/eden2/control.plShow source
prolog/eden2/eden.plShow source
prolog/eden2/eden_core.plShow source
prolog/eden2/files.plShow source
prolog/eden2/gb.plShow source
prolog/eden2/gbug.plShow source
prolog/eden2/gbug1.plShow source
prolog/eden2/gbug3.plShow source
prolog/eden2/gbug4.plShow source
prolog/eden2/gbug5.plShow source
prolog/eden2/gbug6.plShow source
prolog/eden2/gbug7.plShow source
prolog/eden2/holidaybug.plShow source
prolog/eden2/holidays.plShow source
prolog/eden2/init.plShow source
prolog/eden2/l1.plShow source
prolog/eden2/lists.plShow source
prolog/eden2/manual_bug.plShow source
prolog/eden2/outputt.plShow source
prolog/eden2/path_to_moves.plShow source
prolog/eden2/ps.plShow source
prolog/eden2/ps1.plShow source
prolog/eden2/ps_compile.plShow source
prolog/eden2/ps_int.plShow source
prolog/eden2/ps_interface.plShow source
prolog/eden2/psbug1.plShow source
prolog/eden2/psbug2.plShow source
prolog/eden2/psbug3.plShow source
prolog/eden2/random.plShow source
prolog/eden2/skier.plShow source
prolog/eden2/terms.plShow source
prolog/eden2/useful.plShow source
prolog/eden2/wander.plShow source
prolog/gp_pl/gp.plShow source
prolog/idt/idt1.plShow source
prolog/idt/idt1_1.plShow source
prolog/idt/idt1_2.plShow source
prolog/idt/idt1_3.plShow source
prolog/idt/idt1_4.plShow source
prolog/idt/idt1_5.plShow source
prolog/idt/idt1_6.plShow source
prolog/invers/invers.plShow source
prolog/invers/invers_1.plShow source
prolog/invers/logic.plShow source
prolog/logic/logic.plShow source
prolog/logic/logic_1.plShow source
prolog/miles/argument_types.plShow source
prolog/miles/bu_basics.plShow source
prolog/miles/clause_heads.plShow source
prolog/miles/div_utils.plShow source
prolog/miles/dmiles.plShow source
prolog/miles/environment.plShow source
prolog/miles/evaluation.plShow source
prolog/miles/examples/ex1.plShow source
prolog/miles/examples/ex2.plShow source
prolog/miles/examples/ex3.plShow source
prolog/miles/examples/ex4.plShow source
prolog/miles/examples/ex5.plShow source
prolog/miles/examples/ex6.plShow source
prolog/miles/examples/ex7.plShow source
prolog/miles/examples/ex8.plShow source
prolog/miles/examples/ex9.plShow source
prolog/miles/filter.plShow source
prolog/miles/flatten.plShow source
prolog/miles/g1_ops.plShow source
prolog/miles/g2_ops.plShow source
prolog/miles/gencon.plShow source
prolog/miles/gencon_instances/constrained_clauses.plShow source
prolog/miles/gencon_instances/constrained_clauses_ex.plShow source
prolog/miles/gencon_instances/foil.plShow source
prolog/miles/gencon_instances/foil_ex.plShow source
prolog/miles/gencon_instances/rul.plShow source
prolog/miles/gencon_instances/rul_ex.plShow source
prolog/miles/interpreter.plShow source
prolog/miles/kb.plShow source
prolog/miles/lgg.plShow source
prolog/miles/miles.plShow source
prolog/miles/newpred.plShow source
prolog/miles/show_utils.plShow source
prolog/miles/td_basic.plShow source
prolog/miles/tdref_it.plShow source
prolog/miles/var_utils.plShow source
prolog/miles/xm.plShow source
prolog/miles/xmiles_functions.plShow source
prolog/multagnt/calls_1.plShow source
prolog/multagnt/calls_2.plShow source
prolog/multagnt/learner1.plShow source
prolog/multagnt/learner2.plShow source
prolog/multagnt/multagnt.plShow source
prolog/multagnt/teacher.plShow source
prolog/nars/agent.plShow source
prolog/nars/nal.plShow source
prolog/nars/nal_reader.plShow source
prolog/narsese.plShow source
prolog/sldr_dl/example.plShow source
prolog/sldr_dl/matrix.plShow source
prolog/sldr_dl/nnet.plShow source
prolog/sldr_dl/resolution.plShow source
prolog/sldr_dl/yap_compat.plShow source
prolog/sre_dna/ccs_utils.plShow source
prolog/sre_dna/compile.plShow source
prolog/sre_dna/compile_file.plShow source
prolog/sre_dna/compile_file_ex.plShow source
prolog/sre_dna/dctg.plShow source
prolog/sre_dna/dctg_gen.plShow source
prolog/sre_dna/dctg_pp.plShow source
prolog/sre_dna/dctg_reprod.plShow source
prolog/sre_dna/dctg_utils.plShow source
prolog/sre_dna/dna_proc.plShow source
prolog/sre_dna/dynamics.plShow source
prolog/sre_dna/evaluation.plShow source
prolog/sre_dna/file_stats.plShow source
prolog/sre_dna/generate.plShow source
prolog/sre_dna/go.plShow source
prolog/sre_dna/gp_engine.plShow source
prolog/sre_dna/lamarckian.plShow source
prolog/sre_dna/operators.plShow source
prolog/sre_dna/parameters_P.plShow source
prolog/sre_dna/reg_gram_1.plShow source
prolog/sre_dna/sre3.plShow source
prolog/sre_dna/utils.plShow source
prolog/turtle/turtle.plShow source
prolog/v100_v52/vt100.plShow source
prolog/v100_v52/vt52.plShow source
prolog/vs/vs.plShow source
prolog/vs/vs_1.plShow source