k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

Re: [K-user] List of built-in predicates and functions

From: Ömer Sinan Ağacan <omeragacan AT gmail.com>
To: "k-user AT cs.uiuc.edu" <k-user AT cs.uiuc.edu>
Subject: Re: [K-user] List of built-in predicates and functions
Date: Mon, 16 Sep 2013 19:12:35 +0300
List-archive: <http://lists.cs.uiuc.edu/pipermail/k-user/>
List-id: <k-user.cs.uiuc.edu>

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] List of built-in predicates and functions, Ömer Sinan Ağacan, 09/16/2013
- Re: [K-user] List of built-in predicates and functions, Ömer Sinan Ağacan, 09/16/2013
  - Re: [K-user] List of built-in predicates and functions, Radu Mereuta, 09/16/2013
    - Re: [K-user] List of built-in predicates and functions, Rosu, Grigore, 09/16/2013