Difference between revisions of "SubL/examples.1"
From Public Domain Knowledge Bank
DavidWhitten (talk | contribs) (Created page with "==== stringp ==== <pre> CYC(n): (stringp "hello") T </pre ==== stringp 1 ==== CYC(n): (stringp 'stringp) NIL </pre> ==== numberp ==== * (numberp 1) :T") |
DavidWhitten (talk | contribs) |
||
| Line 1: | Line 1: | ||
| + | ==== constant-internal-id ==== | ||
| + | * CYC(n): (constant-internal-id #$Lenat) | ||
| + | : [Time: 0.0 secs] | ||
| + | : 1 | ||
| + | |||
==== stringp ==== | ==== stringp ==== | ||
<pre> | <pre> | ||
CYC(n): (stringp "hello") | CYC(n): (stringp "hello") | ||
T | T | ||
| − | </pre | + | </pre> |
==== stringp 1 ==== | ==== stringp 1 ==== | ||
| − | CYC(n): (stringp 'stringp) | + | * CYC(n): (stringp 'stringp) |
| − | NIL | + | : NIL |
| + | ==== (stringp #$Dog) ==== | ||
| + | * CYC(n): (stringp #$Dog) | ||
| + | : NIL | ||
| + | ==== numberp ==== | ||
| + | (numberp 1) | ||
| + | T | ||
| + | |||
| + | CYC(29): (numberp #$Lenat) | ||
| + | [Time: 0.0 secs] | ||
| + | NIL | ||
| − | + | CYC(30): (constantp #$Lenat) | |
| − | + | [Time: 0.002 secs] | |
| − | + | T | |
| − | :T | ||
Revision as of 02:05, 8 March 2019
constant-internal-id
- CYC(n): (constant-internal-id #$Lenat)
- [Time: 0.0 secs]
- 1
stringp
CYC(n): (stringp "hello") T
stringp 1
- CYC(n): (stringp 'stringp)
- NIL
(stringp #$Dog)
- CYC(n): (stringp #$Dog)
- NIL
numberp
(numberp 1) T
CYC(29): (numberp #$Lenat) [Time: 0.0 secs] NIL
CYC(30): (constantp #$Lenat) [Time: 0.002 secs] T
