K-user mailing list

["Rosu, Grigore" <grosu AT illinois.edu>]

Omer,

 

Many people will be grateful if you could indeed put together a wiki listing all the builtins!  We are constantly criticized, and for a good reason, that we have no reference manual.  We started one, but we are far from making it public.  Such a wiki would be extremely useful.

 

Grigore

 

 

---

From: k-user-bounces AT cs.uiuc.edu [k-user-bounces AT cs.uiuc.edu] on behalf of Radu Mereuta [headness13 AT gmail.com]
Sent: Monday, September 16, 2013 11:35 AM
To: Ömer Sinan Ağacan
Cc: k-user AT cs.uiuc.edu
Subject: Re: [K-user] List of built-in predicates and functions

Everything that you can use in K, is declared in the /include directory.

There are just a few exceptions:

 - rewrites

 - Map, List, Set, Bag and KList constructors // they require special attention

 - meta-variables which are declared at runtime

Other than that, all the syntactic elements (also the predicates you are looking for) are defined in there.

If you can't find something there, you can't use it.

Unfortunately documentation is scarce in the predefined files, but the names of things are pretty self explanatory.

Radu

On Mon, Sep 16, 2013 at 7:12 PM, Ömer Sinan Ağacan <omeragacan AT gmail.com> wrote:

Hmm .. apparently at least some of them are implemented in K.

---
Ömer Sinan Ağacan
http://osa1.net

2013/9/16 Ömer Sinan Ağacan <omeragacan AT gmail.com>:

> Is there a page to see a list of built-in predicates(to be used in
> `when` parts of rules -- like ==String) and functions(again to be used
> in `when` parts of rule -- but as a function, like Id2String) ?
>
> I tried to search for this in source code but couldn't figure out
> where to look. Maybe we can have a wiki page listing these? (I can
> fill the page once I know where to look)
>
>
> ---
> Ömer Sinan Ağacan
> http://osa1.net

_______________________________________________
k-user mailing list
k-user AT cs.uiuc.edu
http://lists.cs.uiuc.edu/mailman/listinfo/k-user