Advertisement
logicmoo

Untitled

Oct 25th, 2019
868
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
Prolog 1.23 KB | None | 0 0
  1. (base) root@gitlab:/opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/programk/aiml/chomskyAIML# swipl
  2. Welcome to SWI-Prolog (threaded, 64 bits, version 8.1.15)
  3. SWI-Prolog comes with ABSOLUTELY NO WARRANTY. This is free software.
  4. Please run ?- license. for legal details.
  5.  
  6. For online help and background, visit http://www.swi-prolog.org
  7. For built-in help, use ?- help(Topic). or ?- apropos(Word).
  8.  
  9. ?- current_predicate(_,Pred),predicate_property(Pred,built_in).
  10. Pred = current_predicate(_9302, _9304) ;
  11. Pred = ignore(_9302) ;
  12. false.
  13.  
  14. ?- current_predicate(M:F/A),functor(Pred,F,A), predicate_property(M:Pred,built_in), \+ predicate_property(M:Pred,imported_from(_)).
  15. M = system,
  16. F =  (=\=),
  17. A = 2,
  18. Pred =  (_9742=\=_9744) ;
  19. M = system,
  20. F = float,
  21. A = 1,
  22. Pred = float(_9742) ;
  23. M = system,
  24. F = prolog_nodebug,
  25. A = 1,
  26. Pred = prolog_nodebug(_9742) ;
  27. M = system,
  28. F = '$set_source_location',
  29. A = 2,
  30. Pred = '$set_source_location'(_9742, _9744) ;
  31. M = system,
  32. F = '$hide',
  33. A = 1,
  34. Pred = '$hide'(_9742) ;
  35. M = system,
  36. F = thread_join,
  37. A = 2,
  38. Pred = thread_join(_9742, _9744) .
  39.  
  40. ?- current_predicate(_,Pred),predicate_property(Pred,built_in).
  41. Pred = current_predicate(_9322, _9324) ;
  42. Pred = ignore(_9322) ;
  43. false.
  44.  
  45. ?-
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement