/
globals.lisp
45 lines (40 loc) · 1.75 KB
/
globals.lisp
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
(in-package #:vivace-graph)
;; Graphs
(defvar *graph* nil)
(defvar *graph-table* nil)
;; Logging
(defvar *syslog-program* "vivace-graph")
(defvar *syslog-facility* sb-posix:log-local7)
(progn
(defparameter *syslog-priorities* (make-hash-table))
(setf (gethash :emerg *syslog-priorities*) sb-posix:log-emerg)
(setf (gethash :alert *syslog-priorities*) sb-posix:log-alert)
(setf (gethash :crit *syslog-priorities*) sb-posix:log-crit)
(setf (gethash :err *syslog-priorities*) sb-posix:log-err)
(setf (gethash :warning *syslog-priorities*) sb-posix:log-warning)
(setf (gethash :warn *syslog-priorities*) sb-posix:log-warning)
(setf (gethash :notice *syslog-priorities*) sb-posix:log-notice)
(setf (gethash :info *syslog-priorities*) sb-posix:log-info)
(setf (gethash :debug *syslog-priorities*) sb-posix:log-debug))
;; Prolog specials
(defparameter *occurs-check* t)
(defvar *trail* (make-array 200 :fill-pointer 0 :adjustable t))
(defvar *var-counter* 0 "Counter for generating variable names.")
(defvar *predicate* nil "The Prolog predicate currently being compiled.")
(defvar *select-list* nil "Accumulator for prolog selects.")
(defvar *cont* nil "Continuation container for step-wise queries.")
(defvar *prolog-global-functors* (make-hash-table :synchronized t))
;; Shortened slot identifiers for slot keys
(defparameter +predicate-slot+ #x00)
(defparameter +subject-slot+ #x01)
(defparameter +object-slot+ #x02)
(defparameter +timestamp-slot+ #x03)
(defparameter +belief-factor-slot+ #x04)
(defparameter +deleted?-slot+ #x04)
(defparameter +derived?-slot+ #x05)
(defparameter +uuid-slot+ #x06)
(defparameter +name-slot+ #x07)
(defparameter +clauses-slot+ #x08)
(defparameter +premises-slot+ #x09)
(defparameter +conclusions-slot+ #x10)
(defparameter +cf-slot+ #x11)