-
Notifications
You must be signed in to change notification settings - Fork 0
/
cfo.el
83 lines (57 loc) · 2.08 KB
/
cfo.el
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
;; Have a way to figure out which functions have been defined by the
;; frdcsa, such as emacs lisp, perl and prolog ones.
;;;;;;;;;;;;;;;;;;
(global-set-key "\C-cfos" 'cfo-function-search)
(global-set-key "\C-cfor" 'cfo-function-render-page)
(global-set-key "\C-cfod" 'cfo-function-documentation)
(defun cfo-function (&optional function-name)
""
(interactive)
(kmax-not-yet-implemented))
(define-derived-mode cfo-function-mode
emacs-lisp-mode "CFO-Function"
"Major mode for viewing function KB in CFO.
\\{emacs-lisp-mode-map}"
(setq case-fold-search nil)
;; (define-key cfo-function-mode-map "\C-cfos" 'cfo-function-search)
;; (define-key cfo-function-mode-map "\C-cfor" 'cfo-function-render-page)
;; (define-key cfo-function-mode-map "\C-cfod" 'cfo-function-documentation)
;; (setq font-lock-defaults
;; '(formalog-prolog-font-lock-keywords nil nil ((?_ . "w"))))
;; (re-font-lock)
)
(defun cfo-function-render-page ()
""
(interactive)
;; buffer-local function-kb
;; query the function-kb for it's name etc
;; (clear the page)
;; (formalog-query ())
;; what kind of function it is
;; in what context is it found: i.e. an emacs function? a shell command, etc.
;; (have the planning ontology, operational/denotational/axiomatic etc semantics for it)
;; have concomitant grammars related to it
;; have observations about the preconditions and effects of running the function
;; other IAEC/Cyc/FLP/LogicMoo/Perform info about it
)
;;;;;;;;;;;;;;;;;;
(defun cfo-function-search ()
""
(interactive)
(kmax-not-yet-implemented))
(define-derived-mode cfo-function-search-mode
emacs-lisp-mode "CFO-Function-Search"
"Major mode for viewing function KB in CFO.
\\{emacs-lisp-mode-map}"
(setq case-fold-search nil)
(define-key cfo-function-mode-map (kbd "TAB") 'formalog-complete-or-tab)
(define-key cfo-function-mode-map [C-tab] 'flp-complete-or-tab)
;; (setq font-lock-defaults
;; '(formalog-prolog-font-lock-keywords nil nil ((?_ . "w"))))
;; (re-font-lock)
)
(defun cfo-function-documentation ()
""
(interactive)
(case major-mode
('cperl-mode (perldoc-at-point))))