Advertisement
logicmoo

Untitled

Jul 1st, 2018
372
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
Prolog 1.42 KB | None | 0 0
  1. root@gitlab:/opt/logicmoo_workspace/packs_sys/pfc/t/sanity_base# swipl -f nldm320.P
  2. Warning: /opt/logicmoo_workspace/lib/swipl-7.7.12/library/statistics.pl:685:
  3.         Redefined static procedure sandbox:safe_meta_predicate/1
  4.         Previously defined at /opt/logicmoo_workspace/lib/swipl-7.7.12/library/tabling.pl:533
  5. % 396,814,768 inferences, 65.940 CPU in 65.942 seconds (100% CPU, 6017793 Lips)
  6. Welcome to SWI-Prolog (threaded, 64 bits, version 7.7.12-148-g2c5419a-DIRTY)
  7. SWI-Prolog comes with ABSOLUTELY NO WARRANTY. This is free software.
  8. Please run ?- license. for legal details.
  9.  
  10. For online help and background, visit http://www.swi-prolog.org
  11. For built-in help, use ?- help(Topic). or ?- apropos(Word).
  12.  
  13. ?-root@gitlab:/opt/logicmoo_workspace/packs_sys/pfc/t/sanity_base# swipl -f nldm640.P
  14. Warning: /opt/logicmoo_workspace/lib/swipl-7.7.12/library/statistics.pl:685:
  15.         Redefined static procedure sandbox:safe_meta_predicate/1
  16.         Previously defined at /opt/logicmoo_workspace/lib/swipl-7.7.12/library/tabling.pl:533
  17. % 3,160,093,488 inferences, 556.527 CPU in 556.617 seconds (100% CPU, 5678238 Lips)
  18. Welcome to SWI-Prolog (threaded, 64 bits, version 7.7.12-148-g2c5419a-DIRTY)
  19. SWI-Prolog comes with ABSOLUTELY NO WARRANTY. This is free software.
  20. Please run ?- license. for legal details.
  21.  
  22. For online help and background, visit http://www.swi-prolog.org
  23. For built-in help, use ?- help(Topic). or ?- apropos(Word).
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement