diff options
| author | Shinya Sato <shinnya.sato@gmail.com> | 2024-06-06 17:20:45 +0900 |
|---|---|---|
| committer | Shinya Sato <shinnya.sato@gmail.com> | 2024-06-06 17:20:45 +0900 |
| commit | a8fd9188c743eceadb12ccdc95865f285d28723d (patch) | |
| tree | c5de0fec007531f59f28e30d545bd62cd6966df9 /Gentle_introduction_Inpla.md | |
| parent | bf1ee36299bb34a932d6edbd026808e912219a24 (diff) | |
| download | inpla-a8fd9188c743eceadb12ccdc95865f285d28723d.tar.gz inpla-a8fd9188c743eceadb12ccdc95865f285d28723d.zip | |
v0.12.4
Diffstat (limited to 'Gentle_introduction_Inpla.md')
| -rw-r--r-- | Gentle_introduction_Inpla.md | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/Gentle_introduction_Inpla.md b/Gentle_introduction_Inpla.md index 747f190..9fa0a3d 100644 --- a/Gentle_introduction_Inpla.md +++ b/Gentle_introduction_Inpla.md @@ -612,14 +612,18 @@ Inpla has the following commands: The *name1* ... *name_n* and connected terms from these are disposed. To dispose all living names and connected terms, type `free ifce;`, where the `ifce` is an abbreviation of *interface* that is called for the set of names that live and occur once. * *name1* ... *name_n* `;` - Put terms connected from the *name1* ... *name_n*. + Output terms connected from the *name1* ... *name_n*. * `ifce;` - Put every term connected from the interface. + Output every term connected from the interface. * `prnat` *name*`;` - Put a term connected from the *name* as a natural number. + Output a term connected from the *name* as a natural number. + +* `memstat`; + + Output memory usage information for agent and name nodes. Only available in the single thread mode. * `use` `"`*filename*`";` Read the file whose name is *filename*. |
