← Back to branch summary

~ubuntu-branches/debian/sid/picolisp/sid

« back to all changes in this revision

Viewing changes to doc/refB.html

  • Committer: Package Import Robot
  • Author(s): Kan-Ru Chen (陳侃如)
  • Date: 2014-01-15 00:41:33 UTC
  • mfrom: (1.1.26)
  • Revision ID: package-import@ubuntu.com-20140115004133-gpnyej505j0z8808
Tags: 3.1.5.2-1
* New upstream release.
* Refresh patches.
* debian/control:
  - Bump Standards-Version to 3.9.5.

Show diffs side-by-side

added added

removed removed

Lines of Context:
doc/refB.html
116
116
<dt><a name="be"><code>(be sym . any) -> sym</code></a>
117
117
<dd>Declares a <a href="ref.html#pilog">Pilog</a> fact or rule for the
118
118
<code>sym</code> argument, by concatenating the <code>any</code> argument to the
119
 
<code>T</code> property of <code>sym</code>. See also <code><a
120
 
href="refC.html#clause">clause</a></code>, <code><a
 
119
<code>T</code> property of <code>sym</code>. Groups of declarations are
 
120
collected for a given <code>sym</code>. When <code>sym</code> changes, i.e. when
 
121
it differs from the one in the previous declaration, the current group is
 
122
considered to be complete and a new group is started. Later <code>be</code>
 
123
declarations for a previously completed symbol will reset its rules, to allow
 
124
repeated re<code><a href="refL.html#load">load</a></code>ing of source files.
 
125
See also <code><a href="refC.html#clause">clause</a></code>, <code><a
121
126
href="refA.html#asserta">asserta</a></code>, <code><a
122
127
href="refA.html#assertz">assertz</a></code>, <code><a
123
128
href="refR.html#retract">retract</a></code>, <code><a
 
129
href="refR.html#rules">rules</a></code>, <code><a
124
130
href="refG.html#goal">goal</a></code> and <code><a
125
131
href="refP.html#prove">prove</a></code>.
126
132
 
129
135
-> likes
130
136
: (be likes (John @X) (likes @X wine) (likes @X food))
131
137
-> likes
 
138
 
132
139
: (get 'likes T)
133
140
-> (((John Mary)) ((John @X) (likes @X wine) (likes @X food)))
 
141
 
 
142
: (rules 'likes)
 
143
1 (be likes (John Mary))
 
144
2 (be likes (John @X) (likes @X wine) (likes @X food))
 
145
-> likes
 
146
 
134
147
: (? (likes John @X))
135
148
 @X=Mary
136
149
-> NIL
138
151
 
139
152
<dt><a name="beep"><code>(beep) -> any</code></a>
140
153
<dd>Send the bell character to the console. See also <code><a
 
154
href="refS.html#space">space</a></code>, <code><a
141
155
href="refP.html#prin">prin</a></code> and <code><a
142
156
href="refC.html#char">char</a></code>.
143
157
 
320
334
corresponding argument form the original <code>lst</code>, and collected into a
321
335
list which is passed to <code>fun2</code>. For the list returned from
322
336
<code>fun2</code>, the CAR elements returned by <code>fun1</code> are
323
 
(destructively) removed from each element.
 
337
(destructively) removed from each element ("decorate-apply-undecorate" idiom).
324
338
 
325
339
<pre><code>
326
340
: (let (A 1 B 2 C 3) (by val sort '(C A B)))