Lines Matching refs:from
29 Prolog data ({\bf terms}) and programs are built from a small set of
34 %Syntactically, even the program code itself is made from valid
45 Numbers come in several flavours. The ones that are familiar from
151 Lists can be written as a {\tt [Head|Tail]} pair, with the head separated from
249 Lists are constructed from cells that have an arbitrary head and
278 To show queries and their results, we will from now on
379 a data structure with two arguments, and therefore of course different from
477 Prolog programs are built from valid Prolog data-structures.
575 % Note that variables from the two terms being unified can both supply
625 \item Pick one (usually the leftmost) goal from the resolvent.
749 starting from its end:
760 But it is also possible to build the list from the front.
996 numbers smaller than \verb'X', starting from the largest one. The effect of
1036 Prolog is different from conventional programming languages, and a common
1100 in the poredicate definition, but alternative choices may come from