• Introduction
• Platform
  • General
  • Installation
  • Usage
• Tutorial
• Language reference
  • Overview
  • Types
    • Overview
    • Scalars
      • Overview
      • GUIDs
      • Symbols
      • Temporal types
    • Vectors
    • Strings
    • Dictionaries
    • Tables
      • Creation
      • Indexing
      • Meta information
      • Arithmetics
      • Modification
      • Inserts
      • On disk
    • Partitioned tables
    • Signals
    • Reagents
      • Overview
      • Async
      • Sync
      • Bus
      • Deq
      • File
      • Listener
      • Tcp
      • Ipc
      • Tls
      • Udp
      • Ws
      • Log
      • Timer
      • Tty
      • State
      • Null
      • Kdblistener
      • Kdb
  • Attributes
  • Pattern matching
  • Lambdas
  • Shadow
  • Assign
    • Assign 0
    • Assign 1
  • Destructuring
• Verbs
  • Amends/Dmends
    • Triadic @ (amend)
    • Triadic . (dmend)
    • Tetradic @ (amend)
    • Tetradic . (dmend)
  • Bitwise verbs
    • band
    • bnot
    • bor
    • bxor
  • Casts
    • cast
    • repr
    • flip
    • sv
    • vs
    • serialization
    • compression
  • Conditional verbs
    • $ (cond)
    • ? (vector conditional)
    • & (and-cond)
    • | (or-cond)
  • Database input/output
    • Reading/writing concept
    • Projecting files concept
  • Execution flow
    • load
    • defn
    • eval
    • reagent
    • react
    • spawn
    • top
    • get
    • close
    • sleep
    • yield
    • return
    • exit
    • kill
    • panic
  • I/O verbs
    • set
    • get
    • write
    • read
    • readln
    • print
    • println
    • show
    • 0N! (display)
  • Indexing verbs
    • @ (at)
    • . (dot-apply)
  • List verbs
    • count
    • distinct
    • enlist
    • pick
    • fill
    • filter
    • first
    • last
    • reverse
    • rotate
    • shift
    • take
    • drop, cut
    • .o.cut
    • ?
    • ! (til)
  • Logical verbs
    • ~ (not)
    • | (or)
    • & (and)
    • & (where)
  • Math verbs
    • - (negate)
    • % (monadic division)
    • +
    • -
    • *
    • % (division)
    • mod (division remainder)
    • abs (absolute value)
    • ceil
    • floor
    • frac
    • & (min)
    • | (max)
    • round
    • More math functions
  • Relational verbs
    • <, <=
    • >, >=
    • = (equal)
    • ~ (match)
    • <> (not equal)
    • Null handling ^
  • Set verbs
    • Intersection
    • Difference
    • Union
    • in (contains)
  • String manipulation
    • like
    • ss (str search)
    • ssr (str search and replace)
    • parse
    • format
    • .o.lower
    • .o.upper
  • System
    • argv
    • getenv
    • setenv
    • system
    • os
  • Type verbs
    • @ (internal type id)
    • type (typespec)
    • ! (internal type id)
    • .o.typedesc
  • Other verbs
    • key
    • meta
    • quote
    • rc (reference count)
    • mv (move)
    • timestamp
    • value
• Iterators
• Queries
  • SELECT
  • WHERE
  • DISTINCT
  • GROUP
  • LIMIT
  • ORDER
  • JOIN
  • UNION
  • UPSERT
  • UPDATE
  • DELETE
  • SQL-like syntax
  • Ptables support
• Dynamic parsers
• Language idioms
• Standard library
  • Overview
  • core.o
    • Core functions
    • For tables
    • For partition tables
  • htreq.o
  • http.o
  • json.o
  • lit.o
  • markdown.o
  • prolog.o
  • repl.o
  • sql.o
  • urllib.o
  • xml.o
• Plugins
  • Overview
  • Customers plugins
  • Plugin crypto
  • Plugin ctrlc
  • Plugin fs
  • Plugin kdb
  • Plugin serde
• For Python developers
• For KDB+ developers
• Application examples
• FAQ

• Contributors
• Contacts

prolog.o