/
BlackJack-ontology.meld
66 lines (50 loc) · 1.96 KB
/
BlackJack-ontology.meld
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
;;;; -*- Mode: LISP; Syntax: Common-Lisp; Base: 10 -*-
;;;; ---------------------------------------------------------------------------
;;;; File name: BlackJack-CardsMt.meld
;;;; System: FIRE
;;;; Author: Jennifer Liu, Yani Xie, Jiahua Chen
;;;; Created: February 20, 2018 16:16:29
;;;; Purpose: 371 Final Project
;;;; ---------------------------------------------------------------------------
;;; Simple ontology for experimenting with the Horn-clause based query system
;;; in FIRE
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
(in-microtheory BaseKB)
(isa BlackJackTestMt Microtheory)
(comment BlackJackTestMt
"BlackJackTestMt is a microtheory for testing ideas in EECS 371 final project.")
(in-microtheory BlackJackTestMt)
(genlMt BlackJackTestMt CardsMt)
(isa BlackJack Collection)
(isa DrawCard Collection)
(comment BlackJack
"A BlackJack is a card game")
;;; Any new predicates you need to define should go here.
;;; Every new predicate needs to have an isa statement saying what it
;;; is an instance of, an arity statement, argIsa statements declaring the
;;; types of its arguments, a genlPreds statement connecting it into the predicate
;;; hiearchy, and a comment describing in English its intended meaning.
(isa hasValue Predicate)
(arity hasValue 2)
(arg1Isa hasValue Card)
(arg2Isa hasValue Integer)
(isa indexOf Predicate)
(arity indexOf 2)
(arg1Isa indexOf Card)
(arg2Isa indexOf Integer)
(isa CurrentSumP1 Predicate)
(arity CurrentSumP1 1)
(arg1Isa CurrentSumP1 Integer)
(isa CurrentSumP2 Predicate)
(arity CurrentSumP2 1)
(arg1Isa CurrentSumP2 Integer)
(isa winsP1 Predicate)
(arity winsP1 2)
(arg1Isa winsP1 Integer)
(arg2Isa winsP1 Integer)
(isa winsP2 Predicate)
(arity winsP2 2)
(arg1Isa winsP2 Integer)
(arg2Isa winsP2 Integer)
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;;; End of Code