Advertisement
logicmoo

Untitled

Oct 31st, 2018
592
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
Prolog 1.60 KB | None | 0 0
  1. Last login: Wed Oct 31 17:46:55 2018 from 192.168.36.1
  2. root@gitlab:~# su - tmptest
  3. tmptest@gitlab:~$ swipl
  4. Welcome to SWI-Prolog (threaded, 64 bits, version 7.6.4)
  5. SWI-Prolog comes with ABSOLUTELY NO WARRANTY. This is free software.
  6. Please run ?- license. for legal details.
  7.  
  8. For online help and background, visit http://www.swi-prolog.org
  9. For built-in help, use ?- help(Topic). or ?- apropos(Word).
  10.  
  11. ?- pack_upgrade(small_adventure_games).
  12. % Running "git fetch" in '/home/tmptest/lib/swipl/pack/small_adventure_games'
  13. % From https://github.com/TeamSPoon/small_adventure_games
  14. %    abd7c41..f0d6756  master     -> origin/master
  15. Upgrade "small_adventure_games" from abd7c41 to f0d6756 Y/n?
  16. % Updating abd7c41..f0d6756
  17. % Fast-forward
  18. %  README.md                         | 721 ++++++++++++++++++++++++++++++++++++++
  19. %  prolog/marty_white/adv_action.pl  |  12 +-
  20. %  prolog/marty_white/adv_agent.pl   |  14 +-
  21. %  prolog/marty_white/adv_debug.pl   |   6 +-
  22. %  prolog/marty_white/adv_edit.pl    |   4 +-
  23. %  prolog/marty_white/adv_eng2cmd.pl |   1 +
  24. %  prolog/marty_white/adv_floyd.pl   |   4 +-
  25. %  prolog/marty_white/adv_inst.pl    |   6 +-
  26. %  prolog/marty_white/adv_io.pl      |  24 +-
  27. %  prolog/marty_white/adv_main.pl    |   2 +-
  28. %  prolog/marty_white/adv_model.pl   |   4 +-
  29. %  prolog/marty_white/adv_percept.pl |  12 +-
  30. %  prolog/marty_white/adv_physics.pl |   2 +-
  31. %  prolog/marty_white/adv_telnet.pl  |  12 +-
  32. %  prolog/parser_sharing.pl          |   8 +-
  33. %  prolog/poor_bugger.pl             |  16 +-
  34. %  16 files changed, 792 insertions(+), 56 deletions(-)
  35. true.
  36.  
  37. ?- ^D
  38. % halt
  39. tmptest@gitlab:~$
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement