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