Core.Logic Docs(beta)

* *c *c-guard *locals* *locals*

!= != !=c !=c !dcg? + +c +c-guard - --> -->e ->AnswerCache ->Choice ->ConstraintStore ->FiniteDomain ->IntervalFD ->LCons ->LVar ->MultiIntervalFD ->Nom ->PMap ->Pair ->Rel ->SubstValue ->Substitutions ->SuspendedStream ->Tie ->answer ->cols ->fd ->feature ->lcons ->rows ->squares -add -cached? -constrain-tree -distinct -distinctc -domc -feature -featurec -fixc -force-ans -id -inc -inc -merge-doms -predc -reify -reify* -reify-tabled -relevant-var? -relevant? -run -suspc -unify* -uninitialized -with-id < < <= <= <=c = == == == ==c > > >= >=

a-sym add-attr add-dom add-indexes add-var addc addcg all all all-blank? all-connected-to-allo annotate answer-cache appendo apply-to-helper arity-exc-helper assoc-dom assoc-meta

bind bind* bind* bind-conde-clause bind-conde-clauses bindable? binops binops->fd bounded-listo bounds build build-term

cgoal checko choice composeg composeg* cond-clauses conda conda conde conde condu condu connected connected-to-allo connected_2-set connected_2-x-index connected_2-y-index conso constrain-tree constraints-for contains-lvar? copy-term count-clauses cryptarithfd-1 cryptarithfd-2

def--> def-->e def-apply-to-helper def-arity-exc-helper defna defna defnc defne defne defnm defnm defnu defnu defrel difference difference* difference-with digito dinesmanfd disjoint? disjoint?* dissoc-dom dissoc-meta distinct distinctc distincto distribute disunify disunify-terms do-send-moolao dom domain domain? domc drop-before drop-one

empty-f empty-s emptyo enforce-constraints enforceable-constrained enforceable? entangle env-locals env-locals eq eq* eq-form everyg ex ex* expand ext ext-dom-fd ext-no-check ext-run-cs ext-run-csg extend-rel extend-to-fd extract-vars

f-sym fact facts fail featurec finite-domain? first-digito firsto fix-constraints fixc fk fnc force-ans fresh fresh fresh fresh-expr? fresh-expr?

get-attr get-dom get-dom get-dom-fd get-square ground-term?

handle-cclause handle-clause handle-clauses handle-clauses hash

IAnswerCache IBind IBuildTerm IConstrainTree IConstraintId IConstraintOp IConstraintStore IConstraintWatchedStores IDisunifyTerms IFeature IFiniteDomain IForceAnswerTerm IIfA IIfU IInterval IIntervals IMPlus IMemberCount IMergeDomains INomSwap IOccursCheckTerm IPrefix IReifiableConstraint IReifyTerm IRel IRelevant IRelevantVar IRunnable ISet ISortedDomain ISubstitutions ISubstitutionsCLP ISuspendedStream ITabled ITake IUnifyTerms IUnifyWithPMap IUnifyWithRecord IUninitialized IUnwrapConstraint IWalkTerm IWithConstraintId IWithPrefix id ifa ifa* ifa* ifu ifu* ifu* in indexes-for init init-s intersection intersection* interval interval-< interval-<= interval-> interval->= interval? intervals irelevant? is is

keep-before

LConsPrint LConsSeq lazy-run lazy-run* lb lcons lcons-p? lcons? let-dom lfirst list-sorted? llist llist lnext log log lsym lvar lvar-bind lvar-binds lvar-sym? lvar? lvaro lvaro lvars

make-cs make-suspended-stream map->PMap map->SubstValue map->SuspendedStream map->Tie map-sum mark-clauses master matcha matcha matche matche matches matchu matchu member-count member? membero merge-doms merge-with-root migrate moveo mplus mplus* mplus* multi-interval

name-with-attributes nexto nilo nom nom-swap nom? non-storable? nonlvaro nonlvaro normalize-intervals normalize-store not-adjacento nrevo

occurs-check occurs-check-term onceo

p->llist pair partial-map partial-map? partitiono permuteo pred pred predc prefix prep print-solution process-dom project project project-binding project-bindings

qsorto queue queue-constraint queue-constraints quot

RelHelper rands rator ready? record? recover-vars recover-vars-from-term reifiable? reify-constraints reify-lvar-name reify-tabled reify-term reifyc reifyg relevant? rem-attr rem-dom rembero remc remcg resolve-storable-dom resto retraction retractions reuse righto root-val root-var run run run* run* run-constraint run-constraints run-constraints* run-nc run-nc run-nc* run-nc* runc runcg runnable?

s# safefd send-money-quicklyo seqc setfn simple-fd-eq simplefd singleton-dom? small-sudokufd solutions solve sort-by-member-count sort-by-strategy sort-dwellers sorted-set->domain stopcg subchecko subst-val subst-val? subst? subunify succeed sudokufd suspc suspended-stream? swap-noms sync-eset

tabled tabled-s take* takeouto tie tie? to-s to-stream to-subst-val to-vals toShortString trace-lvar trace-lvar trace-lvars trace-lvars trace-s trace-s tree-constraint? tree-term? treec

u# uai ub umi unbound-names unbound-rands unifier unifier* unify unify unify* unify-terms unify-with-domain* unify-with-map* unify-with-pmap unify-with-pmap* unify-with-record unify-with-sequential* unwrap update-dom update-eset update-pvars! update-var update-var-dom updatec updatecg

var-rands verify verify-all-bound

waiting-stream-check waiting-stream? walk walk* walk-record-term walk-term warn watched-stores with-id with-prefix

zebrao