Constraint Solving and Planning with Picat

I started reading a book Constraint Solving and Planning with Picat and found that there is no suitable mode for Picat in Emacs. There is only a basic mode from Reini Urban, which does not provide indentation and interaction with the Picat process. So I wrote my own version of picat-mode, which is somewhat more functional, although not perfect. It is available for free on github.

Comments

Post a Comment

Popular posts from this blog

EMACS HOOKS FOR SWITCHING HEADER TO PROPER MODE

;; C-HOOK FOR SWITCHING HEADER TO PROPER MODE (defun u:objc-h-match () (and (string-match "\\.[hH]$" (buffer-file-name)) (string-match "^\\(@\\|#import\\)" (buffer-string)))) (defun u:c++-h-match () (and (string-match "\\.[hH]$" (buffer-file-name)) (string-match "^\s*\\(class\s*.*\\(\s*:\s*public\\|protected\\|private\\)?\\)\\|\\(public\\|protected\\|private\\):\\|\\ \\|\\ " (buffer-string)))) (push '(u:objc-h-match . objc-mode) magic-mode-alist) (push '(u:c++-h-match . c++-mode) magic-mode-alist)
Read more

sbcl-init.lisp

(setf (logical-pathname-translations "home") `(("**;*.*.*" ,(concatenate 'string (posix-getenv "HOME") "/**/*.*"))) (logical-pathname-translations "sbcl") `(("**;*.*.*" ,(logical-pathname "home:Library;sbcl;**;*.*"))) (logical-pathname-translations "src") `(("**;*.*.*" ,(logical-pathname "home:Src;**;*.*"))) (logical-pathname-translations "systems") `(("**;*.*.*" ,(logical-pathname "sbcl:systems;**;*.*")))) (require 'asdf) (setf asdf:*central-registry* '(#p"systems:")) (asdf:operate 'asdf:load-op 'asdf-install) (setf asdf-install:*locations* `((,(truename "systems:src") ,(truename "systems:") "SBCL specific installation")))
Read more

Map on lines in Emacs

;;;-------------------------------------------------------------------- (defun u:map-lines (beg end func) "Call given FUNC in the form (LAMBDA (LBEG LEND LSTR LCOUNT)...) for every line in the region. By default just print them." (interactive "r\nXMap Function ((LAMBDA (LSTR LBEG LEND LCOUNT) ...)): ") (let ((count 1) (inhibit-field-text-motion t)) (when (stringp func) (setq func (car (read (eval (concat "(" func ")")))))) (unless func (setq func #'(lambda (s b e c) (princ (format "%4d:%s" c s))))) (save-excursion (save-match-data (goto-char beg) (let (lbeg lend lstr (delta (- (point-max) end))) (while ( (setq lbeg (line-beginning-position 1)) (setq lend (line-beginning-position 2)) (setq lstr (buffer-substring-no-properties lbeg lend)) (funcall...
Read more