;;; xlsatoms ;;; Copyright (C) 2007 Thien-Thi Nguyen (use-modules ((ttn-do zzz x-protocol) #:prefix xsb)) (define CONN (or (xsb-connect) (exit #f))) (define q (xsb-synchronous-request-proc CONN)) (let loop ((atom 1)) (let ((a (q 'GetAtomName `((atom . ,atom))))) (or (eqv? atom (assq-ref a 'bad-value)) (begin (simple-format #t "~A\t~A\n" atom (xsb-x 'name a)) (loop (1+ atom)))))) (exit (xsb-disconnect CONN)) ;;; xlsatoms ends here