Advertisement
logicmoo

Works In Yap

Apr 16th, 2017
279
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
Prolog 0.59 KB | None | 0 0
  1. root@ubuntu:/mnt/gggg/logicmoo_workspace/pack/prologmud_samples/prolog/prologmud_sample_games# yap
  2. % Restoring file /usr/lib/Yap/startup.yss
  3. YAP 6.2.2 (x86_64-linux): Wed Jul 15 05:25:26 UTC 2015
  4.    ?-  assert(predZZ(1,a)),  assert(predZZ(_,b)).
  5. yes
  6.    ?- predZZ(1,a).
  7. yes
  8.    ?-
  9.  
  10.  
  11. GNU Prolog 1.3.0
  12. By Daniel Diaz
  13. Copyright (C) 1999-2007 Daniel Diaz
  14. | ?- assert(predZZ(1,a)),  assert(predZZ(_,b)).
  15. uncaught exception: error(existence_error(procedure,assert/1),top_level/0)
  16. | ?-  assertz(predZZ(1,a)).
  17.  
  18. yes
  19. | ?- assertz(predZZ(_,b)).
  20.  
  21. yes
  22. | ?- predZZ(1,a).
  23.  
  24. true ? ;
  25.  
  26. no
  27. | ?-
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement