clips-sys 0.4.0

Bindgen generated wrapper for CLIPS (clipsrules.net)
Documentation 
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
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103

TRUE
CLIPS> (load "ceerr.clp")
*
[ANALYSIS4] ceerr.clp, Line 5: Variable ?x found in the expression (> ?x ?y)
was referenced in CE #2 before being defined.

ERROR:
(defrule MAIN::error-1
   (a)
   (test (> ?x ?y))
   =>)
*
[ANALYSIS4] ceerr.clp, Line 10: Variable ?x found in the expression (> ?x ?y)
was referenced in CE #2 before being defined.

ERROR:
(defrule MAIN::error-2 ""
   (not (a))
   (test (> ?x ?y))
   =>)
*
[ANALYSIS4] ceerr.clp, Line 16: Variable ?x found in the expression (> ?x ?y)
was referenced in CE #3 field #1 before being defined.

ERROR:
(defrule MAIN::error-3
   (not (a))
   (test (> 5 3))
   (foo :(> ?x ?y))
   =>)
*
[ANALYSIS4] ceerr.clp, Line 23: Variable ?x found in the expression (> ?x ?y)
was referenced in CE #4 before being defined.

ERROR:
(defrule MAIN::error-4
   (not (a))
   (test (> 5 3))
   (foo)
   (test (> ?x ?y))
   =>)
*
[ANALYSIS4] ceerr.clp, Line 27: Variable ?x found in the expression (> ?x ?y)
was referenced in CE #1 field #1 before being defined.

ERROR:
(defrule MAIN::error-5 ""
   (not (a b&:(> ?x ?y)))
   =>)
*
[ANALYSIS4] ceerr.clp, Line 33: Variable ?x found in the expression (> ?x ?y)
was referenced in CE #3 before being defined.

ERROR:
(defrule MAIN::error-6 ""
   (not (and (test (> 5 3))
             (not (and (test (> 5 3))
                       (not (and (test (> ?x ?y))))))))
   =>)
*
[ANALYSIS4] ceerr.clp, Line 40: Variable ?x was referenced in CE #4 field #1 before being defined.

ERROR:
(defrule MAIN::error-7 ""
   (not (and (test (> 5 3))
             (not (and (test (> 5 3))
                       (not (and (test (> 5 4))
                                 (a ~?x)))))))
   =>)
*
[ANALYSIS4] ceerr.clp, Line 48: Variable ?x found in the expression (> ?x ?y)
was referenced in CE #5 field #1 before being defined.

ERROR:
(defrule MAIN::error-8
   (not (a))
   (test (> 5 3))
   (foo)
   (test (> 5 3))
   (foo :(> ?x ?y))
   =>)
*
[PRNTUTIL2] ceerr.clp, Line 51: Syntax Error:  Check appropriate syntax for the exists conditional element.

ERROR:
(defrule MAIN::error-9
   (exists)
*
[PRNTUTIL2] ceerr.clp, Line 55: Syntax Error:  Check appropriate syntax for the forall conditional element.

ERROR:
(defrule MAIN::error-10
   (forall)
*
[PRNTUTIL2] ceerr.clp, Line 59: Syntax Error:  Check appropriate syntax for the forall conditional element.

ERROR:
(defrule MAIN::error-11
   (forall
        (a))

FALSE
CLIPS> (dribble-off)