From bc02ad74b061e6df8cad7ee58227c8eeedfe1bae Mon Sep 17 00:00:00 2001
From: Nathaniel Wesley Filardo <nwf@cs.jhu.edu>
Date: Fri, 14 Jun 2013 20:27:15 -0400
Subject: [PATCH] Placeholder docs page for builtins

---
 docs/sphinx/manual/builtins.rst | 58 +++++++++++++++++++++++++++++++++
 docs/sphinx/manual/index.rst    |  1 +
 2 files changed, 59 insertions(+)
 create mode 100644 docs/sphinx/manual/builtins.rst

diff --git a/docs/sphinx/manual/builtins.rst b/docs/sphinx/manual/builtins.rst
new file mode 100644
index 0000000..a154492
--- /dev/null
+++ b/docs/sphinx/manual/builtins.rst
@@ -0,0 +1,58 @@
+.. Builtins
+   Here we describe the primitives available by default.
+
+********
+Builtins
+********
+
+Aggregators
+===========
+
+For aggregation, we offer
+
+* Numerics: ``max=``, ``min=``, ``+=`` (:math:`\sum`), ``*=`` (:math:`\prod`)
+* Logic: ``&=`` (:math:`\bigwedge`), ``|=`` (:math:`\bigvee`).
+
+* A last-one-wins operation, ``:=``.  Formally, the last rule which
+  contributes a value determines the head item's value.  That is, a program
+  such as ::
+
+    a := 1.
+    a := 2 for d.
+
+  will give ``a`` the value of ``1`` if ``d`` is not provable or is not
+  ``true`` and ``2`` otherwise.
+
+Functions
+=========
+
+The following list of functions are guaranteed to be present, regardless of
+backend chosen:
+
+* The usual binary numeric operations: ``*``, ``-``, ``*``, ``/``,
+  ``mod`` (or ``%``), and ``**`` (for raising to a power).
+
+* Some unary numeric operations: ``-``, ``abs``, ``log``, and ``exp``.
+
+* Comparison operators: ``<``, ``<=``, ``==``, ``>=``, ``>``, and ``!=``
+  (disequality).
+
+* Logic operations: ``and`` (or ``&``), ``or`` (or ``|``), ``^``
+  (for exclusive or), and ``not`` (or ``!``).
+
+* Unification is written ``=``.  Prolog's ``is`` operator is also available.
+
+.. warning::
+
+   The distinction between ``=`` and ``==`` is that the latter *evaluates
+   both of its arguments* while the former does not.  Meanwhile, ``is``
+   is asymmetric, evaluating its right argument and not its left.
+
+   See ``examples/equalities.dyna``
+   (or :dynasrc:`here <examples/equalities.dyna>`).
+
+Constants
+=========
+
+Integers, floats, and double-quoted strings all exist as primtives in the
+language.  Booleans are represented by the atoms ``true`` and ``false``.
diff --git a/docs/sphinx/manual/index.rst b/docs/sphinx/manual/index.rst
index 4f3dfa5..ecaf535 100644
--- a/docs/sphinx/manual/index.rst
+++ b/docs/sphinx/manual/index.rst
@@ -7,3 +7,4 @@ User Manual
 .. toctree::
 
    pragmas
+   builtins
-- 
2.50.1