Advertisement
logicmoo

Untitled

Apr 29th, 2019
498
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
Prolog 2.09 KB | None | 0 0
  1. root@gitlab:~/genera/symbolics/sys.sct/joshua#  find -name "*.lisp*" | xargs wc -l
  2.      89 ./doc/defbook.lisp.~10~
  3.      63 ./doc/record-types.lisp.~2~
  4.     131 ./doc/joshua-doc.lisp.~54~
  5.     751 ./code/ltms.lisp.~207~
  6.    1034 ./code/rules.lisp.~224~
  7.    1084 ./code/supplied-predicates.lisp.~222~
  8.    2087 ./code/object-model.lisp.~95~
  9.     572 ./code/discrimination-network.lisp.~203~
  10.    2653 ./code/tracing.lisp.~209~
  11.     740 ./code/predication-implementation.lisp.~222~
  12.    1701 ./code/rete.lisp.~245~
  13.     394 ./code/predication-defs.lisp.~201~
  14.    1857 ./code/predications.lisp.~211~
  15.     297 ./code/patch/js-237/js-237-3.lisp.~1~
  16.     735 ./code/patch/js-237/js-237-2.lisp.~1~
  17.     235 ./code/patch/js-237/js-237-1.lisp.~1~
  18.     479 ./code/predication-protocol.lisp.~216~
  19.     276 ./code/definers.lisp.~1~
  20.     402 ./code/editor.lisp.~8~
  21.     262 ./code/encapsulations.lisp.~201~
  22.     807 ./code/readn-n-writn.lisp.~239~
  23.    1303 ./code/system-patches.lisp.~223~
  24.     280 ./code/package-definitions.lisp.~221~
  25.    1010 ./code/matcher.lisp.~220~
  26.    1561 ./code/ptypes-and-commands.lisp.~210~
  27.      94 ./code/joshua-defsystem.lisp.~206~
  28.     410 ./code/unification.lisp.~203~
  29.      70 ./metering/joshua-metering-defsystem.lisp.~5~
  30.     103 ./metering/metering-interface-patches.lisp.~1~
  31.    1973 ./metering/joshua-metering.lisp.~8~
  32.      59 ./examples/n-queens-backward.lisp.~3~
  33.    1834 ./examples/samaritan.lisp.~222~
  34.     945 ./examples/model-tutor.lisp.~207~
  35.     226 ./examples/object-modelling-tests.lisp.~6~
  36.     166 ./examples/im-my-own-grampaw.lisp.~202~
  37.      39 ./examples/package-definitions.lisp.~4~
  38.    1590 ./examples/planning-examples.lisp.~211~
  39.     581 ./examples/ht-example-modelled.lisp.~217~
  40.      91 ./examples/dial-demo.lisp.~2~
  41.      46 ./examples/jericho-defsystem.lisp.~206~
  42.    2115 ./examples/cryptarithmetic.lisp.~209~
  43.    1559 ./examples/ht-example.lisp.~207~
  44.     752 ./examples/tms-examples.lisp.~207~
  45.     100 ./examples/demosthenes.lisp.~205~
  46.      43 ./examples/n-queens-mixed.lisp.~3~
  47.     668 ./examples/widget-factory.lisp.~11~
  48.   34267 total
  49. root@gitlab:~/genera/symbolics/sys.sct/joshua#
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement